PROPOSAL: Add 'Natural' type to base:Data.Word

[Henning Thielemann]

On Tue, 11 Nov 2014, Herbert Valerio Riedel wrote:

> ,----
> | 23.1 Unsigned integral types
> |
> | This module provides unsigned integer types of unspecified width (Word)
> | and fixed widths (Word8, Word16, Word32 and Word64). All arithmetic is
> | performed modulo 2^n, where n is the number of bits in the type.
> |
> | ...
> `----

"Number of bits in the type" suggests, that the number of bits depends 
only on the type, which is not true for Natural (and Integer), right?