Îõ³h&åSÃ      !"#$% & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ A B  Safe-Inferred?CDEFGHIJ Safe-Inferred./0ËØÙy Safe-Inferred$%'789â®   Safe-Inferred'âÔ typelevel-rewrite-rules module nametypelevel-rewrite-rules module nametypelevel-rewrite-rulestype constructor/family nametypelevel-rewrite-rules module nametypelevel-rewrite-rulesdata constructor name   Safe-InferredItypelevel-rewrite-rulesan expression like (as ++ '[]) ++ bs would be represented as *Fun appendTyCon [Var "as", Fun nilTyCon [] or rather ÌFun appendTyCon [Fun starTyCon [], Var "as", Fun nilTyCon [Fun starTyCon []]Á because those polymorphic TyCons need to be specialized to the K kind Safe-InferredÇtypelevel-rewrite-rulesA newtype around L which has an M instance. Safe-Inferred'õ Safe-Inferred'â) Safe-Inferred'âW !"#$ !"#$  Safe-Inferred'â‹%&'%&'  Safe-Inferred·((  Safe-Inferred$%âä)*+,-./012345678)*+,-./012345678  Safe-Inferred'Óâ0 9:;<=>?@A 9:;<=>?@A  Safe-Inferred!$%'âMNtypelevel-rewrite-rulesexpectedtypelevel-rewrite-rulesactualOtypelevel-rewrite-rulesGiven constraintstypelevel-rewrite-rulesDerived constraintstypelevel-rewrite-rulesWanted constraintsBBÐ !"##$%&'()*+,-./012 3 4 5 6 7 8 9 : ; < = > ? @ A B C D E F G H I J K L M N O PQRSTUVWXYZ[\]^_`a b cä'typelevel-rewrite-rules-1.0.0.1-inplaceTypeLevel.Append/TypeLevel.Rewrite.Internal.DecomposedConstraint!TypeLevel.Rewrite.Internal.LookupTypeLevel.Rewrite.Internal.Term!TypeLevel.Rewrite.Internal.TypeEq#TypeLevel.Rewrite.Internal.TypeNode'TypeLevel.Rewrite.Internal.TypeTemplate#TypeLevel.Rewrite.Internal.TypeRule#TypeLevel.Rewrite.Internal.TypeTerm$TypeLevel.Rewrite.Internal.TypeSubst&TypeLevel.Rewrite.Internal.PrettyPrint%TypeLevel.Rewrite.Internal.ApplyRulesTypeLevel.RewritePaths_typelevel_rewrite_rulesRightAssociative RightIdentity++DecomposedConstraintEqualityConstraintInstanceConstraintasEqualityConstraintasInstanceConstraintasDecomposedConstraintfromDecomposeConstraint$fFunctorDecomposedConstraint$fFoldableDecomposedConstraint!$fTraversableDecomposedConstraint lookupModule lookupTyCon lookupDataCon splitFirstDot splitLastDot lookupFQNatomTermTypeEqunTypeEq $fEqTypeEqTypeNodeTyConTyLittoTypeNodeApp_maybe fromTypeNode $fEqTypeNode TypeTemplatetoTypeTemplate_maybeTypeRuletoTypeRule_maybe fromTyVarfromTerm fromTypeRuleTypeTerm toTypeTerm fromTypeTerm TypeSubstpprMaybepprPairpprListpprTyConpprTypepprTyVar pprTypeEqpprTermpprRule pprReduct pprTypeNode pprTypeSubstpprTypeTemplate pprTypeTerm pprTypeRule pprTypeReductSubst applyRules multiRewrite singleRewritetopLevelRewrite traverseFirstannotatedTraverseFirst traverseAllannotatedTraverseAllpluginversiongetDataFileName getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirbaseGHC.Num*ghcGHC.Core.TyCo.RepTypeghc-prim GHC.ClassesEqusagesolve