tcfail055.hs:3: Couldn't match the type `Int' against `Float'
    Expected: `Int'
    Inferred: `Float'
    In an expression with a type signature: `x + 1 :: Int'

Compilation had errors