!      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~None,.7> ltext..->ltext(..)ltextTODO: pretty print exceptions#ltextExpects to be wrapped in parens(ltextOnly considers Abs, App and Var(  !"#$%&'(  !"#$%&'None> x567567None.7> 8:9;<=>@?ABDCEFGHIJKLMABDC>@?EFGH;<=IJK8:9LMNone,>bZltextMore technical shared data XYZ[_^]\` Z[_^]\YX`None,7>ltextWe're working in an implicitly quantified prenex-polymorphic type system, so trivial type expressions are also type schemes.ltext.Substitute n for t, given there's no collisionltext=Where we don't want to include variables bound by our contextltext(Replaces bound variables with fresh ones/cedfgihjkmlnopqrstuvwxy|{z~}/y|{z~}vwxutqrsnopjkmlfgihcedSafen      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHHIJKLMNOPQRSTUVWXYZ[\]^_``abcdefghijkklmnnopqrsttuvwxxyz{|}~"ltext-0.1.3-KNJsl6iolIZABSVPFveE5J LText.Expr LText.EvalLText.DocumentApplication.Types LText.Type Paths_ltextLexemeLambdaArrowIdent Bracketed getBracketed MonadParse ParseErrorBracketsInsideLambdaLambdaInsideLambdaLambdaInStaleScopeArrowWithoutLambda ArrowInScopeEmptyExpression LexerError ParseState InsideLambdaScopeScopeUseFreshStaleMonadPrettyPrintExprAbsAppVarLitConcatppExprinitParseStatehandleParseErrorrunParse runParserT parseExprexprlexlambdaarrowident bracketed$fArbitraryExpr$fExceptionParseError $fShowExpr$fEqExpr$fShowScopeUse $fEqScopeUse$fShowParseState$fEqParseState $fShowLexeme $fEqLexeme$fShowParseError$fEqParseError$fGenericParseErrorevaluate substitutefreeVarsPrintabilityMode InsideConcat InsideExpr PrintErrorConcatExprTextNoExplicitDelimiters DocumentBodyRawText ExpressionDocument documentArity documentBodyrepackDocument parseDocument printDocument fromDocumenthandlePrintError toDocumenthasConcatAbsLit fetchDocument rawDocument$fArbitraryDocumentBody$fArbitraryDocument$fExceptionPrintError$fShowDocumentBody$fEqDocumentBody$fShowDocument $fEqDocument$fShowPrintError$fEqPrintError$fGenericPrintErrorAppMMonadAppEnv topLevelExpr isTypeQueryrawTermsdelimsrunAppM$fEqEnv $fShowEnvExprTypeTopLevelDocLevelContext contextMap contextFreshScheme schemeQuant schemeTypeIsType freeTVars applySubstSubstgetSubst TypeCheckMMonadTypecheckTypeEnvplaintextFiles TypeError CantUnifyUnboundVariableOccursCheckFailure expectedType givenTypeTypeTextTVarTArrowppTypehandleTypeError toTypeEnv emptyTypeEnv runTypeCheckM freshTVarsomewhatFreshTVarmostGeneralUnifiervarBind initContext removeTVarquantify unQuantifytypeOfTopLevel typeInfer$fExceptionTypeError $fMonoidSubst $fIsTypeType $fIsType[]$fSemigroupSubst$fIsTypeScheme$fIsTypeContext $fShowType$fEqType$fShowTypeError $fEqTypeError$fGenericTypeError $fShowTypeEnv $fEqTypeEnv $fShowSubst $fEqSubst $fShowScheme $fEqScheme $fShowContext $fEqContextversion getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirgetDataFileName