transform a Union for a given stack into a Union for another stack
transform the unions for a given effect