Remove (<<<)/(>>>) inlining. Move `pure` inlining to `magicDo`.