add Cofree instances
CofreeTest