Control.Comonad.Exponent
data Exp m a