Îõ³h&/ÞÂ      !"#$%&'()*+,-./0123456789:;<=>?@A)Variable binding for abstract syntax tree(c) 2023 Keito KajitaniMIT#Keito Kajitani  Safe-Inferred6ÂÄÅÉÌÚÜïhbinder;Representation of under-construction things having type a and containing variables.binder m 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.$binder Essentially, BinderList a m b means  [a] -> m b.)binderVariable substitution.*binder unbinding,binder Check if two bindings are equal.-binderSmart constructor for  ..binderbinding4binderThe names of variables.5binder Smart constructor for a list of .6binder&Create new variables with given names.;binderVariable substitution.<binder unbinding>binder Check if two bindings are equal.Bbinder"Smart constructor for 'BinderList.?binderbinding9 $%&'()*+,-./0123456789:;<=>?@A9  '(&)-.*+,/0%123456$879:;>?<=@AÃ      !"#$%&'()*+,-./0123456789:;<=>?@ABCDÅ#binder-0.2.1-7QfDq0OStAIIuxwVfex9kC Data.BinderBoxVarMonadNumbering Numbering numbering$fApplicativeClosure$fFunctorClosure$fOrdVar$fEqVarvar'KeyBindervar'Name var'mkFreevar'BoxnameOfboxVarnewVarisClosedoccurunboxboxapBoxboxApply boxApply2 boxApply3 boxApply4boxPair boxTripleboxTboxListboxJoin$fApplicativeBox $fFunctorBox $fShowAnyVar $fShowVarBody $fShowVar BinderListVarList binder'Body binder'Name binder'mkFreesubstunbindunbind2eqBinder buildBinderbind boxBinder bindApply varList'Keys varList'Names varList'BoxesnamesOf boxVarList newVarListbinderList'BodybinderList'NamesbinderList'mkFreebinderList'Arity substList unbindList unbind2List eqBinderListbindList boxBinderList bindListApplybuildBinderList