伊德里斯有 MaybeT 吗？
Does Idris have MaybeT?
Idris 有 Haskell 的 MaybeT 还是我应该使用其他东西？我正在尝试使用 IO (Maybe a) 类型的许多值进行计算。如何在 Idris 中将 Maybe 和 IO 组合成一个单子（如 Haskell 中的 MaybeT IO）？
有一个新的 PR 添加了它，虽然它还没有被合并：https://github.com/idris-lang/Idris-dev/pull/4753
Idris 有 Haskell 的 MaybeT 还是我应该使用其他东西？我正在尝试使用 IO (Maybe a) 类型的许多值进行计算。如何在 Idris 中将 Maybe 和 IO 组合成一个单子（如 Haskell 中的 MaybeT IO）？
有一个新的 PR 添加了它，虽然它还没有被合并：https://github.com/idris-lang/Idris-dev/pull/4753