nothing_but: PartPortion ~> PartPortion