Make everything monomorphic in `Path`, move within variants and FileLike polymorphism to shake-plus-extended.