:doc Monoid
:printdef (Monoid (List a))
:q