testsuite/tests/typecheck/should_fail/T7410.stderr


1
2
3
4
5
6


T7410.hs:3:9: error:
    • Expecting one more argument to ‘Either Int’
      Expected a type, but ‘Either Int’ has kind ‘* -> *’
    • In the type signature:
        foo :: (Either Int, Int)