diff --git a/examples/05-concurrency.ts b/examples/05-concurrency.ts
index 40c132c..1ae2df6 100644
--- a/examples/05-concurrency.ts
+++ b/examples/05-concurrency.ts
@@ -89,7 +89,7 @@ const rt: WaveR<https.Agent, Error, void> =
       })
     );
 
-const versus = managed.provideTo(agent, rt)
+const versus = managed.provideTo(agent as managed.Managed<Error, https.Agent>, rt)
 
 
 /**
@@ -104,6 +104,6 @@ const firstVersusIO = ["referential+transparency", "monad", "functor", "haskell"
 const printResults = waver.chain(firstVersusIO, (results) => waver.encaseWaveR(consoleIO.log(`winning query was ${results[0][0].q}`)));
 
 const log = 
-        managed.provideTo(agent, printResults);
+        managed.provideTo(agent as managed.Managed<Error, https.Agent>, printResults);
 
 wave.run(wave.applySecond(versus, log));
diff --git a/src/managed.ts b/src/managed.ts
index 8242ba7..b752a42 100644
--- a/src/managed.ts
+++ b/src/managed.ts
@@ -19,14 +19,15 @@ import { Monoid } from "fp-ts/lib/Monoid";
 import { Wave, Fiber } from "./wave";
 import * as io from "./wave";
 import { WaveR } from "./waver";
-import { ExitTag } from "./exit";
+import { ExitTag, Exit, done } from "./exit";
 
 export enum ManagedTag {
     Pure,
     Encase,
     Bracket,
     Suspended,
-    Chain
+    Chain,
+    BracketExit
 }
 
 /**
@@ -39,7 +40,8 @@ export type Managed<E, A> =
   Encase<E, A> |
   Bracket<E, A> |
   Suspended<E, A>  |
-  Chain<E, any, A>; // eslint-disable-line @typescript-eslint/no-explicit-any
+  Chain<E, any, A> |  // eslint-disable-line @typescript-eslint/no-explicit-any
+  BracketExit<E, A> ;
 
 
 export interface Pure<E, A> {
@@ -93,6 +95,12 @@ export function bracket<E, A>(acquire: Wave<E, A>, release: FunctionN<[A], Wave<
   };
 }
 
+export interface BracketExit<E, A> {
+  readonly _tag: ManagedTag.BracketExit;
+  readonly acquire: Wave<E, A>;
+  readonly release: FunctionN<[A, Exit<E, unknown>], Wave<E, unknown>>;
+}
+
 export interface Suspended<E, A> {
     readonly _tag: ManagedTag.Suspended;
     readonly suspended: Wave<E, Managed<E, A>>;
@@ -269,12 +277,12 @@ export function use<E, A, B>(res: Managed<E, A>, f: FunctionN<[A], Wave<E, B>>):
     return io.chain(res.acquire, f);
   case ManagedTag.Bracket:
     return io.bracket(res.acquire, res.release, f);
+  case ManagedTag.BracketExit:
+    return io.bracketExit(res.acquire, (a, e) => res.release(a, e), f);
   case ManagedTag.Suspended:
     return io.chain(res.suspended, consume(f));
   case ManagedTag.Chain:
     return use(res.left, (a) => use(res.bind(a), f));
-  default:
-    throw new Error(`Die: Unrecognized current type ${res}`);
   }
 }
 
@@ -299,6 +307,9 @@ export function allocate<E, A>(res: Managed<E, A>): Wave<E, Leak<E, A>> {
     return io.map(res.acquire, (a) => ({ a, release: io.unit }));
   case ManagedTag.Bracket:
     return io.map(res.acquire, (a) => ({ a, release: res.release(a) }));
+  case ManagedTag.BracketExit:
+    // best effort, because we cannot know what the exit status here
+    return io.map(res.acquire, (a) => ({ a, release: res.release(a, done(undefined)) }));
   case ManagedTag.Suspended:
     return io.chain(res.suspended, (wm) => allocate(wm));
   case ManagedTag.Chain:
@@ -334,7 +345,7 @@ declare module "fp-ts/lib/HKT" {
 }
 export const instances: Monad2<URI> = {
   URI,
-  of: <E, A>(a: A): Managed<E, A> => pure(a),
+  of: <E, A>(a: A): Managed<E, A> => pure(a) as Managed<E, A>,
   map,
   ap: ap_,
   chain
@@ -353,6 +364,6 @@ export function getSemigroup<E, A>(Semigroup: Semigroup<A>): Semigroup<Managed<E
 export function getMonoid<E, A>(Monoid: Monoid<A>): Monoid<Managed<E, A>> {
   return {
     ...getSemigroup(Monoid),
-    empty: pure(Monoid.empty)
+    empty: pure(Monoid.empty) as Managed<E, A>
   }
 }
diff --git a/src/managedr.ts b/src/managedr.ts
index 3b7c011..66b91fd 100644
--- a/src/managedr.ts
+++ b/src/managedr.ts
@@ -157,7 +157,7 @@ declare module "fp-ts/lib/HKT" {
 }
 export const instances: Monad3<URI> = {
   URI,
-  of: <R, E, A>(a: A): ManagedR<R, E, A> => pure(a),
+  of: <R, E, A>(a: A): ManagedR<R, E, A> => pure(a) as unknown as ManagedR<R, E, A>,
   map,
   ap: ap_,
   chain
@@ -176,6 +176,6 @@ export function getSemigroup<R, E, A>(Semigroup: Semigroup<A>): Semigroup<Manage
 export function getMonoid<R, E, A>(Monoid: Monoid<A>): Monoid<ManagedR<R, E, A>> {
   return {
     ...getSemigroup(Monoid),
-    empty: pure(Monoid.empty)
+    empty: pure(Monoid.empty) as unknown as ManagedR<R, E, A>
   }
 }