DeXe a Monad