T2721.hs:15:28:
    Can't make a derived instance of ‛C N’
      (even with cunning newtype deriving):
      the class has associated types
      it is not type-safe to use GeneralizedNewtypeDeriving on this class;
      the last parameter of ‛C’ is at role N
    In the newtype declaration for ‛N’