Completely replace ErrorT with ExceptT