<div dir="ltr"><p class="MsoNormal">Hi Serguey,<u></u></p><p class="MsoNormal"><u></u> <u></u></p><p class="MsoNormal"><span lang="EN-US">I don’t know what extra functionality you require but, for what is worth, my library red-black-record features a Symbol-to-Type map . It’s implemented as a type-level red-black-tree.<u></u><u></u></span></p><p class="MsoNormal"><span lang="EN-US"><u></u> <u></u></span></p><p class="MsoNormal"><a href="https://hackage.haskell.org/package/red-black-record-2.0.2.2/docs/Data-RBR.html#t:Map" target="_blank"><span lang="EN-US">https://hackage.haskell.org/package/red-black-record-2.0.2.2/docs/Data-RBR.html#t:Map</span></a><span lang="EN-US"><u></u><u></u></span></p><p class="MsoNormal"><span lang="EN-US"><u></u> <u></u></span></p><p class="MsoNormal"><span lang="EN-US">The map can be manipulated with the Insert, Delete and Value associated type families.<u></u><u></u></span></p><p class="MsoNormal"><span lang="EN-US"><u></u> <u></u></span></p><p class="MsoNormal"><span lang="EN-US">Regards,<u></u><u></u></span></p><p class="MsoNormal"><span lang="EN-US">Daniel Díaz</span></p><p class="MsoNormal"><span lang="EN-US"><br></span></p><p class="MsoNormal"><span lang="EN-US">> Hello cafe.<br>><br>> I am trying to express some environment in types to constrain program<br>> behavour. For this I need associative list of types, something along the<br>> lines of [(Symbol, *)] so that I can lookup on "variable" name and get type<br>> associated with it.<br>><br>> I looked into HList library but it does not provide one most generally<br>> useful way (albeit there are dozen or so of ways in there).<br>><br>> So where can I get most modern HList-like library? Or what should I read<br>> to get most modern HList myself?  <br></span></p></div>