Data.Functor.Representable.Trie
class HasTrie a
mup
memo
memo2
memo3
inTrie
inTrie2
inTrie3
trie
untrie
data a :->: b
data Entry a b