const file: FilePath<Path.PartitionedNonEmpty<Path.Private>> = Path.appData(
      appInfo,
      Path.file("a")
    )