org.specs2.control.eff
transform a Union for a given stack into a Union for another stack
transform the unions for a given effect
transform a Union for a given stack into a Union for another stack