testsuite/tests/polykinds/T5716a.stderr


1
2
3
4
5
6
7


T5716a.hs:10:27:
    Data constructor ‘Bar’ cannot be used here
      (it comes from a data family instance)
    In the type ‘(Bar a)’
    In the definition of data constructor ‘Bar’
    In the data instance declaration for ‘DF’