Îõ³h&TT1      !"#$%&'()*+,-./0 Safe-Inferred)*/01ÁÂÃÄÅÌÙÚÜïô`1unbound-kind-genericsThe Generic representation version of 2   Safe-Inferred)*15?ÀÁÃÄÅÌÙÚÜïôB%unbound-kind-genericsWell-typed lambda expressions)unbound-kind-genericsVariables stand for expressions%'&()*+)%'&(*+3      !"#$%&'()*+,-./01234567%unbound-kind-generics-0.2.1.1-inplace,Unbound.Generics.LocallyNameless.Kind.Derive-Unbound.Generics.LocallyNameless.Kind.Example AutoAlpha unAutoAlphaaeqDefK fvAnyDefK closeDefKopenDefK isPatDefK isTermDefK isEmbedDefKnthPatFindDefKnamePatFindDefK swapsDefK lfreshenDefK freshenDefK acompareDefK gsubstDefK gsubstsDefK gsubstBvsDefKbuildSubstName$fGAlphaKkExistsab$fGAlphaKk:=>:ab$fGAlphaKk:+:ab$fGAlphaKk:*:ab$fGAlphaKkU1ab$fGAlphaKkM1ab$fGAlphaKkFieldab$fAlphaAutoAlpha$fGSubstKkbExistsa$fGSubstKkb:=>:a$fGSubstKkb:+:a$fGSubstKkb:*:a$fGSubstKkbU1a$fGSubstKkbM1a$fGSubstKkbFielda $fEqAutoAlpha$fShowAutoAlphaExprVLamAppVarevalexample$fSubstExprExpr $fAlphaExpr$fGenericKFUNExpr$fGenericKTYPEExpr $fShowExprGAlphaKnbnd-gnrcs-0.4.3-2b2203ec&Unbound.Generics.LocallyNameless.AlphaAlpha