The syntax and axioms for monoids
data Operation : Nat -> Type
Signature : Signature
data Axiom : Type
MonoidTheory : Presentation
MonoidStructure : Type
Monoid : Type
Unit : Op Signature
Prod : Op Signature
ascii : Printer Signature ()
generic : Printer Signature ()
natPlus : Printer Signature ()
additive1 : Printer Signature ()
additive2 : Printer Signature ()
withRaw : Printer Signature a -> Printer MonoidTheory a
withWords : Printer Signature a -> Printer MonoidTheory a