What I mean is that the obvious implementation of, for example, substitution loops for the union case.