úÎÞÆ      experimentalconal@conal.net Safe-Inferred+Replacement for Typeable and the ty package's ty. ETyped type representation. Alternative to Data.Ty in the ty package   Safe-Inferred1Graph, described by bindings and a root variable <Typed binding pair, parameterized by variable and node type  constructors. Typed variables  Identifiers Fast version, using an IntMap.  Important: partially apply.   !"      !" Safe-Inferred  $ takes a data structure that admits  , and returns  a > that contains the dereferenced nodes, with their children as  # rather than recursive values. $% &'  $%  &'None(!Common subexpression elimination ()*+,-./0123456789:;<=>?@(ABCDEFGHIJKLMNO!)*+,-./0123456789:;<=>?@(ABCDEFGH)+*,0/.-143256789:;<=>?@(ABCDEFGHIJKLMNOP       !"#$%&'())*+,-./01234456789:;<=>?@ABCDEFGHIJKLMNOPQRSdata-treify-0.3.3Data.Reify.TGraph Data.TReifyCustomTyExpGraphBindShowFshowFVIdbindEnvMuRefDeRefmapDeRef reifyGraphTypeableTyty:->::*:FloatIntegerBool$fTypeable(->) $fTypeable(,)$fTypeableFloat$fTypeableInteger$fTypeableBool$fIsTyTyty-0.0.2 Data.IsTytyEqIsTy $fShowGraph $fShowBind$fShowV$fShowFV$fEqV integer-gmpGHC.Integer.Type StableBind findNodesmylookupcseNAppONEVarLet:^OpLitMulAddparensnotSuppnodeEunGraphssachildren childrenBuses histogrambindsF'bindsFunGraph2op2sqrreifye1e2e3teste4$fNumE$fEqE $fMuRefTyE$fShowE$fShowFN$fShowOp $fShowFOp