testsuite/tests/typecheck/should_fail/UnliftedNewtypesConstraintFamily.stderr


1
2
3
4
5

UnliftedNewtypesConstraintFamily.hs:11:1:
     Kind signature on data type declaration has non-*
      and non-variable return kind
        Constraint
     In the data family declaration for ‘D’