package caqti

A concurrency monad with an optional failure monad, or just the identity type constructor for blocking operation.

Return operation of the concurrency monad.

finally f g runs f () and then runs g () whether the former finished, failed with an exception, or failed with a monadic failure.

cleanup f g runs f () and then runs g () and re-raise the failure if and only if f () failed with an exception or a monadic failure.