testsuite/tests/typecheck/should_fail/AssocTyDef04.stderr


1
2
3
4
5
6
7


AssocTyDef04.hs:6:18: error: [GHC-83865]
    • Expecting one more argument to ‘Maybe’
      Expected a type, but ‘Maybe’ has kind ‘* -> *’
    • In the type ‘Maybe’
      In the default type instance declaration for ‘Typ’
      In the class declaration for ‘Cls’