Data.MemoTrie
class HasTrie a