computational comonad

A computational comonad on a category is a quadruple , where is a comonad on and is a natural transformation satisfying the following equations for all objects :

• .

class Comonad w => Computational w where
  unit :: a -> w a
  -- extract . unit = id
  -- duplicate . unit = unit . unit