T8959a.hs:5:7: error:
    Couldn't match expected type `Int -> Int' with actual type `()'
    In the expression: ()
    In an equation for `foo': foo = ()