testsuite/tests/typecheck/should_fail/T7019.stderr


1
2
3
4
5
6


T7019.hs:11:1: error:
    • Illegal polymorphic type: forall a. c (Free c a)
      A constraint must be a monotype
      Perhaps you intended to use QuantifiedConstraints
    • In the type synonym declaration for ‘C’