testsuite/tests/typecheck/should_fail/T7410.stderr


1
2
3
4
5
6


T7410.hs:3:9:
    Expecting one more argument to ‛Either Int’
    The first argument of a tuple should have kind ‛*’,
      but ‛Either Int’ has kind ‛* -> *’
    In the type signature for ‛foo’: foo :: (Either Int, Int)