module ShouldFail where f x x = 2