org.specs2.control.eff
union is a disjoint union of effects returning a value of type X (not specified)
union is a disjoint union of effects returning a value of type X (not specified)