h$      !"#$% & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ A B  Safe-Inferred?CDEFGHIJ Safe-Inferred-./yNone#$&567  None& typelevel-rewrite-rules module nametypelevel-rewrite-rules module nametypelevel-rewrite-rulestype constructor/family nametypelevel-rewrite-rules module nametypelevel-rewrite-rulesdata constructor name   Safe-Inferred5typelevel-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 kindNonetypelevel-rewrite-rulesA newtype around L which has an M instance.None&None&None& !"#$ !"#$ None&E%&'%&' Noneh(( None#$)*+,-./012345678)*+,-./012345678 None& 9:;<=>?@A 9:;<=>?@A None #$&BB !"##$%&'()*+,-./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#typelevel-rewrite-rules-1.0-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 traverseAllannotatedTraverseAllpluginversion getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirgetDataFileNamebaseGHC.Num*ghcTyCoRepTypeghc-prim GHC.ClassesEq