ghci should allow you to switch monads

[Gurkenglas]

Write something like :hoist runMaybeT and suddenly the giant do block you're writing is in the MaybeT IO monad. The important part is that monadic results are still printed on a line-per-line basis.