TrieMap

data CoreMap a

emptyCoreMap

extendCoreMap

lookupCoreMap

foldCoreMap

data TypeMap a

emptyTypeMap

extendTypeMap

lookupTypeMap

foldTypeMap

data LooseTypeMap a

data MaybeMap m a

data ListMap m a

class TrieMap m

insertTM

deleteTM