testsuite/tests/polykinds/PolyKinds04.stderr


1
2
3
4
5
6
7
8


PolyKinds04.hs:5:16:
    Expecting one more argument to `Maybe'
    The first argument of `A' should have kind `*',
      but `Maybe' has kind `* -> *'
    In the type `A Maybe'
    In the definition of data constructor `B1'
    In the data declaration for `B'