testsuite/tests/typecheck/should_fail/tcfail132.stderr


1
2
3
4
5
6


tcfail132.hs:17:37:
    The first argument of ‛T’ should have kind ‛* -> * -> * -> *’,
      but ‛Object f' f t’ has kind ‛* -> * -> *’
    In the type ‛T (Object f' f t) (DUnit t)’
    In the type declaration for ‛LiftObject’