Add a Monad wrapper for simple commands
Simplification