Upgrade MTL, move to Control.Monad.Except