CofreeFoldable, CofreeTraverse