Data.Functor.Cofree
data Cofree c b
counit
leftAdjunct
leftAdjunctF
unit
rightAdjunct
convert
type Product c m n
product
outL
outR
type TerminalObject c
terminal