"tcfail055.hs", line 2:
    Couldn't match type "Int" against "Float".
    In an expression with a type signature: (x (+) 1 :: Int):: Float
Fail: Compilation errors found

ghc: execution of the Haskell compiler had trouble