public Monoid <A> Monoid(A id) { return(Monoid <A> .monoid(op, id)); }
public Monoid <A> Monoid(A id) => Monoid <A> .monoid(op, id);