On Fri, Nov 21, 2014 at 1:08 AM, David Feuer wrote:

That bitSizeMaybe makes me a bit nervous.

Can you clarify what makes you nervous about it? Is it the assumption that when bitSizeMaybe == Nothing, the size is infinite?

Would it actually hurt anyone to make this thing a subclass of FiniteBits?

Er... Obviously, I mean give this a FiniteBits *context*.

Yes, it would reduce the usefulness of the function to finite types in the result, whereas now it can be used, for example, to convert Integer to Natural.

Regards,

Sean