Îõ³h&Ý+      !"#$%&'()*)Variable binding for abstract syntax tree(c) 2023 Keito KajitaniMIT#Keito Kajitani  Safe-Inferred6ÂÄÅÉÌÚÜï½binder(Typeclass for free variable constructor.binder;Representation of under-construction things having type a and containing variables.binder b.binderThe name of variable.binderSmart constructor for .binder&Create a new variable with given name.binder+ is closed if it exposes no free variables.binder(Check if the variable occurs in the box.binder*Pick out and complete the construction of a.%binderVariable substitution.&binder unbinding'binder Check if two bindings are equal.(binderSmart constructor for  .)binderbinding" #$%&'()*"  $#%()&'*+      !"#$%&'()*+,-!binder-0.1-ERt1ArQPbhe5o1gmBzq7E5 Data.BinderMkFreemkFreeBoxVarMonadNumbering Numbering numbering$fOrdVar$fEqVar$fApplicativeClosure$fFunctorClosurevar'KeyBindervar'Namevar'BoxnameOfboxVarnewVarisClosedoccurunboxboxapBoxboxApply boxApply2 boxApply3 boxApply4boxPair boxTripleboxT$fApplicativeBox $fFunctorBox $fShowAnyVar $fShowVarBody $fShowVar binder'Body binder'NamesubstunbindeqBinder buildBinderbind boxBinder