Cannot unify the type-signature variable `a' with the type `IO t'
    Expected type: IO t
    Inferred type: a
When checking that `main' has the required type