State

MkPartialUnionReceive

self

TypedBecomeOnAux