The Hidden Perils of MonadBaseControl

MonadBaseControl is a powerful but error-prone abstraction for lifting IO-based functions into monad transformer stacks. The post walks through three categories of pitfalls: discarded state when the lifted function returns unit, incorrect state forking when multiple input actions share the same captured state, and fundamental impossibility of correct semantics for functions like bracket when stateful transformers such as ExceptT are involved. Concrete Haskell examples with StateT and ExceptT illustrate each failure mode. The author recommends preferring stateless transformers (ReaderT with IORef), MonadUnliftIO, or the exceptions/safe-exceptions packages over MonadBaseControl for exception handling, and using the StM m a ~ a constraint to rule out stateful transformers when possible.