Replace MaybeT and WriterT with ExceptionT