compiles against NetKAT (using s/choice/union)