Re: generalized IntMap - IntegerMap or IntegralMap

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 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 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