Control.Comonad.Trans.Coiter
data CoiterT w a
type Coiter
coiter
runCoiter
unfold
class ComonadCofree f w