buildReceive
MkPartialUnionReceive MkTotalUnionReceive