testsuite/tests/typecheck/should_fail/T9201.stderr


1
2
3
4
5
6


T9201.hs:6:17: error:
    The first argument of ‘f’ should have kind ‘x1’,
      but ‘a’ has kind ‘y1’
    In the type signature: ret :: d a (f a)
    In the class declaration for ‘MonoidalCCC’