unfold
Cofree