instance Terminal t => Terminal (ConstC2 t)
Monoidal CoatC