testsuite/tests/roles/should_fail/Roles9.stderr


1
2
3
4
5
6
7


Roles9.hs:13:12:
    Can't make a derived instance of ‛C Age’
      (even with cunning newtype deriving):
      it is not type-safe to use GeneralizedNewtypeDeriving on this class;
      the last parameter of ‛C’ is at role Nominal
    In the newtype declaration for ‛Age’