const a10 = Effect.andThen(Effect.succeed(0), (a: string) => Effect.succeed(a))
// Effect.Effect<(a: string) => Effect.Effect<string, never, never>, never, never>
// should instead give compiler error `number is not assignable to string`
assert.strictEqual(yield* $(a10), 0 as any)
// passes runtime
const a10 = Effect.andThen(Effect.succeed(0), (a: string) => Effect.succeed(a))
// Effect.Effect<(a: string) => Effect.Effect<string, never, never>, never, never>
// should instead give compiler error `number is not assignable to string`
assert.strictEqual(yield* $(a10), 0 as any)
// passes runtime
