testsuite/tests/typecheck/should_fail/T4875.stderr


1
2
3
4
5


T4875.hs:27:24: error:
    • Expected kind ‘* -> *’, but ‘r’ has kind ‘*’
    • In the type signature: multiplicities :: r c -> [c]
      In the class declaration for ‘Morphic’