NOINLINE reifyE'
inline swapBI
prim smart constructor to eliminate Prim FstP & Prim SndP
reifyE' weirdness to get it not to inline. see comments.
rswE, rswC