buildReceive
MkPartialUnionReceive
MkTotalUnionReceive