Expose topic levels.
Enable callbacks to be in the same Monad as the caller.
Documentation on use of MonadBaseControl.