1 2 3 4 5 6
module ShouldFail where -- !!! Ambiguous constraint in type signature f :: Eq a => Int -> Int f x = x