freeConstr :: Constr
cofreeConstr = mkConstr cofreeDataType ":<" [] Infix
{
cofreeConstr :: Constr
cofreeConstr = mkConstr cofreeDataType ":<" [] Infix
cofreeConstr = mkConstr cofreeDataType ":<" [] Infix