testsuite/tests/polykinds/T5716a.stderr


1
2
3
4
5
6
7


T5716a.hs:10:27:
    You can't use data constructor `Bar' 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'