Btw, why don't we have `par2reducable` here?