They're equivalent to do-notation in the List monad so as long as you don't really need the inline syntax you can just mechanically translate it to do nation and back.
And with -XMonadComprehensions you can have the compiler do that for a whole bunch more Monads.
And with -XMonadComprehensions you can have the compiler do that for a whole bunch more Monads.