FiniteMap

Mappings keyed from arbitrary types

data FiniteMap key elt

Manipulating those mappings