CofreeFoldable1, CofreeTraverse1