testsuite/tests/dependent/should_fail/T13601.stderr


1
2
3
4
5
6


T13601.hs:18:16: error:
    • Expected kind ‘TYPE (Rep 'LiftedRep)’,
        but ‘Logic a’ has kind ‘TYPE (Rep rep)’
    • In the first argument of ‘Boolean’, namely ‘(Logic a)’
      In the class declaration for ‘Eq’