generalized IntMap - IntegerMap or IntegralMap

[David Feuer]

Er... what am I thinking? Of course it's order-isomorphic. The
isomorphism just isn't a coercion, so it's not free.

On Mon, Jan 22, 2018 at 4:19 AM, David Feuer <david.feuer at gmail.com> wrote:
> Word64 is an entirely different story, because it's not
> order-isomorphic to Int64. That means lots of operations will actually
> have to be implemented differently for it. Anyway, you should probably
> check out the generic-trie package for ways to compose things.
>
> On Mon, Jan 22, 2018 at 4:14 AM, Henning Thielemann
> <lemming at henning-thielemann.de> wrote:
>>
>> On Mon, 22 Jan 2018, David Feuer wrote:
>>
>>> 3. I don't think any existing classes really get the point across.
>>
>>
>> I would be happy with a custom class that has Word32 and Word64 as member,
>> and optimally a way to compose these words, e.g.
>>    type Word96 = Stack Word32 Word64