module ShouldFail where f x = g x