ExceptT in testing