Control.Comonad.Exponent
data
Exp
m a