Class Hoist.monoid

method private zero : t
method private plus : t -> t -> t