Data.Trie.Map

One Step

data MapChildren c p a

data MapStep c p a

insert

empty

singleton

Fixpoint of Steps

data MapTrie s a

Conversion

keys

elems

Query

subtrie

match

matches