declare const make: <A, E = never>() => STM.STM<TDeferred<A, E>>

declare const await: <A, E>(self: TDeferred<A, E>) => STM.STM<A, E>

declare const poll: <A, E>(self: TDeferred<A, E>) => STM.STM<Option.Option<Either.Either<A, E>>>

export interface TDeferred<in out A, in out E = never> extends TDeferred.Variance<A, E> {}

declare const done: {
  <A, E>(either: Either.Either<A, E>): (self: TDeferred<A, E>) => STM.STM<boolean>
  <A, E>(self: TDeferred<A, E>, either: Either.Either<A, E>): STM.STM<boolean>
}

declare const fail: {
  <E>(error: E): <A>(self: TDeferred<A, E>) => STM.STM<boolean>
  <A, E>(self: TDeferred<A, E>, error: E): STM.STM<boolean>
}

declare const succeed: {
  <A>(value: A): <E>(self: TDeferred<A, E>) => STM.STM<boolean>
  <A, E>(self: TDeferred<A, E>, value: A): STM.STM<boolean>
}

declare const TDeferredTypeId: unique symbol

type TDeferredTypeId = typeof TDeferredTypeId

export interface Variance<in out A, in out E> {
  readonly [TDeferredTypeId]: {
    readonly _A: Types.Invariant<A>
    readonly _E: Types.Invariant<E>
  }
}