removed readM. replaced with readMaybe and readEither
added mtl instances to transformers-compat ExceptT
Removed Agda.TypeChecking.Monad.Exception
Replaced use of Control.Monad.Error with Control.Monad.Except