It would be Cofree f a -> Cofree f [a] and turn a tree into a tree of finite paths from its root to each node.
(gotta look at the following tomorrow when I'm less sleepy:)
Control.Comonad.Cofree should have to inits what duplicate is to tails
Gurkenglas__: iirc the streams package has causal and anticausal streams
for one of them duplicate is that inits-like operation
It would be
Cofree f a -> Cofree f [a]
and turn a tree into a tree of finite paths from its root to each node.(gotta look at the following tomorrow when I'm less sleepy:)