export interface Ticket<A> {
  readonly acquire: Wave<never, A>
  readonly cleanup: Wave<never, void>
}

export function makeTicket<A>(acquire: Wave<never, A>, cleanup: Wave<never, void>): Ticket<A> { ... }

export function ticketExit<A>(ticket: Ticket<A>, exit: Exit<never, A>): Wave<never, void> { ... }

export function ticketUse<A>(ticket: Ticket<A>): Wave<never, A> { ... }