add CofreeT.coiterT
CofreeT