h$      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGH  Safe-Inferred+YIJKL Safe-Inferred+>?   None +>   7 None +> MNOPQRSTUVWXY None  '(+/2>N /1024358679Z[Noney /1024358679 24358679/10None  +/>?:;<=><;=:>  Safe-Inferred+\]^_None/CDDC  Safe-Inferred;`abcdefgNone bhNone EENone +/FGFGNone +Htypecheck-plugin-nat-simple  type L = Log SDocStr Var plugin :: Plugin plugin = typeCheckWith @L "Plugin.TypeCheck.Nat.Simple" \gs _ w -> tell @L $ "givens: " .+. fromSDoc (ppr gs) tell @L $ "wanted: " .+. fromSDoc (ppr w) uncurry canDerive =<< (,) <$> (givens =<< decodeAll gs) <*> (wanted =<< decode w)HH !"#$%&'()*+,-./0123456789:;<= > ? @ A B C D E F G HIJKLMNOPQCRSTUV W W X Y Z [ \ ] ^ _ ` a b c d e f g h i j k l m n o p q r s tu:typecheck-plugin-nat-simple-0.1.0.2-3x3FQX62Aqr6QTu9mGoedvControl.Monad.TryData.LogData.Derivation.ExpressionData.Derivation.CanDeriveData.Derivation.Parse)Plugin.TypeCheck.Nat.Simple.TypeCheckWith"Plugin.TypeCheck.Nat.Simple.DecodePlugin.TypeCheck.Nat.SimpleControl.Monad.StateTData.Derivation.Constraint#Data.Derivation.Expression.Internal Data.Parse!Paths_typecheck_plugin_nat_simple#Plugin.TypeCheck.Nat.Simple.UnNomEqSetTry maybeToTryrunTry gatherSuccessthrowcatchrightstellpartialcons$fMonadPlusTry $fMonadTry$fAlternativeTry$fApplicativeTry $fFunctorTry $fSetx(,) $fSetx(,)0$fSetxx $fShowTrySDocStrIsSDocfromSDocMessagemessage messageListLoggablelogLoglogVar.+. intersperseunwords $fIsStringLog$fOutputableLog $fShowLog $fMonoidLog$fSemigroupLog $fMessageChar $fMessage[] $fMessageLog $fIsSDocLog$fIsSDocSDocStr$fIsStringSDocStr$fOutputableSDocStr$fMonoidSDocStr$fSemigroupSDocStrExpTypeBooleanNumberExpBoolVarConst:==:<=:+:-WantedGivens canDerivegivenswanted$fLoggablesvGivens$fLoggablesvWanted $fShowWanted $fShowGivensparseConstraint typeCheckWith decodeAlldecodepluginStateT runStateTliftPoly ConstraintequalgreatEqualThan greatThanvarshas selfContained isDerivFrom positives eliminate.+.- constraintvarBoolParseparseunparse>>!version getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirgetDataFileNameunNomEq