NonEmpty

MkPartialUnionReceive

nsub

isNotA

nsubAmbig1

isNotA

nsubAmbig2

isNotA