const b: Path.Directory<Path.PartitionedNonEmpty<Path.Public>> = Path.directory("public", "a")