úÎùØ2      !"#$%&'()*+,-./01 experimentalconal@conal.net+Replacement for Typeable and the ty package's ty. ETyped type representation. Alternative to Data.Ty in the ty package  23 1Graph, described by bindings and a root variable <Typed binding pair, parameterized by variable and node type  constructors. Typed variables  Identifiers        45$ takes a data structure that admits , and returns  a  > that contains the dereferenced nodes, with their children as  6 rather than recursive values. 78   !"#$%&'()*+,-!Common subexpression elimination ./01! !"#$%&'()*+,-./09:;1< !"#$%&'()*+,-./01  !"#$%&'()*+,-./01=       !"#$%&'()*+,-./0123453467789 :;<=>?@data-treify-0.3.1CustomTyData.Reify.TGraph Data.TReifyExpTypeabletyTy:->::*:FloatIntegerBoolGraphShowFshowFBindVIdMuRefDeRefmapDeRef reifyGraphNAppONEVarLet:^OpLitMulAddparensnotSuppnodeEunGraphssachildren childrenBuses histogrambindsF'bindsFunGraph2cseop2sqrreifytestty-0.0.2 Data.IsTytyEqIsTy StableBind integer-gmpGHC.Integer.Type findNodesmylookupe1e2e3e4