testsuite/tests/dependent/should_fail/T13601.stderr


1
2
3
4
5


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