ction :: Comonad f => f a -> Cofree f a
section as = extract as :< extend section as


section :: Comonad f => f a -> Cofree f a
section as = extract as :< extend section as
section as = extract as :< extend section as