`Path` is in the prelude, so doesn't need importing or qualification.