Does Idris have MaybeT?

Question

Does Idris have MaybeT from Haskell or is there something else I should use instead? I am trying to do computations with many values of type IO (Maybe a). How can combine Maybe and IO into a single monad (like MaybeT IO in Haskell) in Idris?

Answer 1

There's a new PR adding it, though it hasn't been merged yet: https://github.com/idris-lang/Idris-dev/pull/4753