LocalIdentOrData.prod_monoid
method fst : 's0 monoid
method snd : 't0 monoid
method zero : 's1 * 't1
method plus : ('s2 * 't2) -> ('s2 * 't2) -> 's2 * 't2