Class Utils.list_monoid

method private zero : 'b list
method private plus : 'a list -> 'a list -> 'a list