Finitely represented total maps. Represented by as a partial map and a default value. Has Applicative and Monad instances (unlike Data.Map).
Construct a total map, given a default value, a set of keys, and a
function to sample over that set. You might want to
trim the result.