fixing cofree unfolding