testsuite/tests/polykinds/T7939a.stderr


1
2
3
4
5
6
7


T7939a.hs:7:5:
    Expecting one more argument to ‛Maybe’
    The first argument of ‛F’ should have kind ‛*’,
      but ‛Maybe’ has kind ‛* -> *’
    In the type ‛Maybe’
    In the family declaration for ‛F’