add Cofree.unfold