module ShouldFail where

f x = (x + 1 :: Int) :: Float