LocalIdentOrData.prod_monoid
method fst : 's monoid
method snd : 't monoid
method zero : 's * 't
method plus : ('s * 't) -> ('s * 't) -> 's * 't