Isn’t haskell’s list comprehension can be used for monad comprehensions as well with a language extension? I remember using that once.