úÎÅU Safe-Inferred2This is basically specialized 'Either String', or  with error messages.  exceptional-0.1.0.0Control.Exceptional ExceptionalSuccessFailure$fMonadExceptional$fAlternativeExceptional$fApplicativeExceptional$fFunctorExceptionalbase Data.MaybeMaybe