On Wed, 14 Nov 2012, Jake McArthur wrote: > Sorry for the double send, Henning. I forgot the list. > http://hackage.haskell.org/packages/archive/total-map/0.0.4/doc/html/Data-TotalMap.html Nice! That is, you can represent infinite maps where all but one value can occur only finitely many times.