AB a Monad