T2721.hs:15:28:
    Can't make a derived instance of ‛C N’
      (even with cunning newtype deriving):
      the class has associated types
    In the newtype declaration for ‛N’