?      !"#$%&'()*+,-./0123456789:;<=> Safe-InferedE?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~;?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxy8?@ABCDEFGIHJKLMNOPQWVUTSRXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ Safe-InferedOME Safe-Infered Safe-Infered>  !"#$%&'()*+,-./0123456789:;<=>  !"#$%&'()*+,-./0123456789:;<=>  !"#$%&'()*+,-./0123456789:;<=>  !"#$%&'()*+,-./0123456789:;<= Safe-Infered>>>>      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPPQQRSTUKVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~haskell-type-exts-0.1.0$Language.Haskell.TypeCheck.TypeCheckLanguage.Haskell.TypeCheck(Language.Haskell.TypeCheck.InternalTypes Language.Haskell.TypeCheck.Monad#Language.Haskell.TypeCheck.SimplifyVarEnvQ typecheckExptypecheckModulecheckRhoinferRhotcRhocheckAltinferAlttcAlt checkAltMatch inferAltMatch tcAltMatchcheckGuardedAltsinferGuardedAlts tcGuardedAltscheckGuardedAltinferGuardedAlt tcGuardedAlt checkGuards checkGuard checkStmts checkStmtlitTypecharTypeboolTypenumTypefracType stringTypelistConlistType mkPredType inferSigma checkSigmatcPats inferPats checkPatsinferPatcheckPattcPat unifyFunPatstcBinds tcBindGroup tcPatBinds inferRhsWhere tcRhsWhere rhsToGalts grhsToGalttcRhs tcVarBind tcMatches checkMatch inferMatchtcMatch isExplTyped isImplTyped subsCheckAll subsCheck subsCheckRho subsCheckFun instSigma instPatSigma typeCheck Precedence OutputablepprEnvUniqTyRefMetaTvMetaTyVarSkolemTvBoundTv TcTyVarBindTcAxiomTcCtxtTcAsstTcClassATcTypeTcTyAppTcTyVarTcTyConTcTyFunTcForAllKappaTauRhoSigmaunTvBind-->@@conforAllisSimplemetaTvs freeTyVars tyVarBndrs tyVarNamesubstTysubst_ty substCtxt subst_ctxt substAsst subst_asst fromSrcKindstarK docToStringdcolondottopPrecarrPrectcPrec atomicPrecprecType pprParendTypepprTypeppr_typeppr_ctxt$fOutputableTcAsst $fShowTcType$fOutputableTcTyVarBind$fOutputableTyVar$fOutputableMetaTv$fOutputableTcType $fShowTyVar $fEqTyVar $fShowMetaTv $fEqMetaTvExpectedCheckInferErrMsgTcTcEnvuniqsvarstypesclassessupersaxioms mkEmptyTcEnvmkTcEnvunTcfailTccheckrunTcliftnewTcRef readTcRef writeTcRefgetEnv getEnvField extendEnv genRefSnd extendVarEnvextendVarEnvList extendTypeEnvextendTypeEnvListextendClassEnvextendClassEnvList lookupVar lookupType lookupClass lookupAux getAxioms newTyVarTy newMetaTyVarnewSkolemTyVarreadTvwriteTv newUnique newKindVar instantiate skolemiseinstantiateAxiomquantify allBinders prefBinders getEnvTypes getMetaTyVars getFreeTyVarszonkType zonkType' zonkInstKindzonkCtxtzonkAsst zonkKindEnvs zonkVarEnvunifyunifyVarunifyUnboundVarunifyFun unifyMonadicmonadQoccursCheckErrbadType fromSrcType fromSrcType' fromSrcCtxt' fromSrcAsst fromSrcTypestvbName debugShow $fFunctorTc $fMonadTcsimplify simplify' simplifyAsstsolve