all_over: Locus ~> Locus