decompose

Union

delay

EvalCreation

detach

EffInterpretation EffOneEffectOps