xor
HasIf (about to move)
rewriteIf (to change)
NOINLINE condBool
isBoxedTupleTyCon
isBoxedTupleTyCon; condBool
just PDF
crcStep