úÎ ¤ Ì experimentalconal@conal.netMapping from all elements of a! to the results of some function (Representation of trie with domain type a ?Convert a trie to a function, i.e., access a field of the trie Trie-based function memoizer 0Lift a memoizer to work with one more argument. AMemoize a binary function, on its first argument and then on its 7 second. Take care to exploit any partial evaluation. BMemoize a ternary function on successive arguments. Take care to ! exploit any partial evaluation. Conditional with boolean last.  Spec: if' (f False) (f True) == f $Extract bits in little-endian order )Convert boolean to 0 (False) or 1 (True) Bit list to value       MemoTrie-0.2 Data.MemoTrieHasTrie:->:trieuntriememomupmemo2memo3if'tripdetriplistdelistbitsunbitunbits