create a continuation which will apply the 'map' function if the first effect of this Unions object is interpreted
collect all the M effects and create a continuation for other effects in the same stack
collect all the M effects and create a continuation for other effects in a stack containing no more M effects
A non-empty list of Unions.
It is only partially typed, we just keep track of the type of the first object