Provides a minimal infinite, lazy trie for integral types.
It intentionally leaves out ideas such as delete and
emptiness so that it can be used lazily, eg. as the target
of an infinite foldr. Essentially its purpose is to be an
efficient implementation of a function from integral type,
given point-at-a-time modifications.