through: Path ~> Path