const a: Path.File<Path.PartitionedNonEmpty<Path.Private>> = Path.file("private", "a")