Monad Systems