Defining Type-Safe, Implementation-Agnostic Services in TypeScript

class Lock extends Context.Tag("Lock")<
  Lock,
  {
    readonly acquireLock: <E, R>(key: string, timeoutSeconds: number) => Effect.Effect<void, E, R>,
    readonly releaseLock: <E, R>(key: string) => Effect.Effect<void, E, R>
  }
>() { }