drvfail009.hs:10:31:
    Can't make a derived instance of ‛C T1’
      (even with cunning newtype deriving):
      ‛C’ does not have arity 1
    In the newtype declaration for ‛T1’

drvfail009.hs:13:31:
    Cannot derive well-kinded instance of form ‛Monad (T2 ...)’
      Class ‛Monad’ expects an argument of kind ‛* -> *’
    In the newtype declaration for ‛T2’

drvfail009.hs:16:33:
    Can't make a derived instance of ‛Monad T3’
      (even with cunning newtype deriving):
      cannot eta-reduce the representation type enough
    In the newtype declaration for ‛T3’

drvfail009.hs:19:42:
    Can't make a derived instance of ‛Monad T4’
      (even with cunning newtype deriving):
      cannot eta-reduce the representation type enough
    In the newtype declaration for ‛T4’