Control.Comonad.Trans.Coiter
data
CoiterT
w a
class
ComonadCofree
f w
coiterT