testsuite/tests/typecheck/should_fail/UnliftedNewtypesInstanceFail.stderr


1
2
3
4
5

UnliftedNewtypesInstanceFail.hs:13:3:
     Expected kind ‘TYPE 'WordRep’,
        but ‘Bar Bool’ has kind ‘TYPE 'IntRep’
     In the newtype instance declaration for ‘Bar’
      In the instance declaration for ‘Foo Bool’