ExceptT package:foundation