declare const SystemErrorReason: Schema.Literal<
  [
    "AlreadyExists",
    "BadResource",
    "Busy",
    "InvalidData",
    "NotFound",
    "PermissionDenied",
    "TimedOut",
    "UnexpectedEof",
    "Unknown",
    "WouldBlock",
    "WriteZero"
  ]
>

type SystemErrorReason = typeof SystemErrorReason.Type

declare class BadArgument

readonly [TypeId]: unique symbol

declare const Module: Schema.Literal<
  ["Clipboard", "Command", "FileSystem", "KeyValueStore", "Path", "Stream", "Terminal"]
>

declare const PlatformError: Schema.Union<[typeof BadArgument, typeof SystemError]>

type PlatformError = BadArgument | SystemError

declare const TypeIdError: <const TypeId extends symbol, const Tag extends string>(
  typeId: TypeId,
  tag: Tag
) => new <A extends Record<string, any>>(
  args: Simplify<A>
) => Cause.YieldableError & Record<TypeId, TypeId> & { readonly _tag: Tag } & Readonly<A>

declare class SystemError

readonly [TypeId]: unique symbol

declare const isPlatformError: (u: unknown) => u is PlatformError

declare const TypeId: unique symbol

type TypeId = typeof TypeId