Union
Union represents one effect T[_] embedded in a tree of possible effects R
Since the effect tree is represented with the following cases:
- Fx1[T]
- Fx2[T1, T2]
- Fx3[T1, T2, T3]
- FxAppend[L, R]
We have the corresponding Union cases. For example T2 is in the "middle" of Fx3[T1, T2, T3] so creating a Union object for that effect uses Union3M
class Object
trait Matchable
class Any