Re: [GHC] #9966: Allow switching to different monads in GHCi