public A Compound(B b, TermA termA) { return(new()); }
public A Trivial(TermA termA) { return(new()); }