úÎôD      experimentalconal@conal.netNoneMapping from all elements of a! to the results of some function (Representation of trie with domain type a 4Create the trie for the entire domain of a function ?Convert a trie to a function, i.e., access a field of the trie (List the trie elements. Order of keys (:: a) is always the same. Domain elements of a 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. (Apply a unary function inside of a trie )Apply a binary function inside of a trie *Apply a ternary function inside of a trie 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 Identity trie Trie composition 5   !"#$%&'()*+,-./01234"56789:;<=>?@ABCDEFG    1   !"#$%&'()*+,-./01234H      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJMemoTrie-0.6.1 Data.MemoTrieHasTrie:->:trieuntrie enumeratedomainmemomupmemo2memo3inTrieinTrie2inTrie3idTrie@.@if'bitsunbitunbitsenum'weavetripdetriplistdelistunbitsZbitsZ~> $fMonad:->:$fApplicative:->: $fFunctor:->: $fMonoid:->:$fHasTrieInteger$fHasTrieInt64$fHasTrieInt32$fHasTrieInt16 $fHasTrieInt8 $fHasTrieInt $fHasTrieChar$fHasTrieWord64$fHasTrieWord32$fHasTrieWord16$fHasTrieWord8 $fHasTrieWord $fHasTrie[] $fHasTrie(,,) $fHasTrie(,)$fHasTrieEither $fHasTrieBool $fHasTrie() $fHasTrieVoid $fShow:->:$fEq:->: IntegerTrie Int64Trie Int32Trie Int16TrieInt8TrieIntTrieCharTrie Word64Trie Word32Trie Word16Trie Word8TrieWordTrieListTrie TripleTriePairTrie EitherTrieBoolTrieUnitTrieVoidTrie