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

[Henning Thielemann]

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

> Hello CLC et al.,
>
> I hereby suggest to add a type for encoding term-level naturals
>
>  data Natural = <opaque/hidden>
>       deriving (...the usual standard classes...)
>
> to `base:Data.Word` module

This type is useful, no doubt. But so far Data.Word (and Data.Int) are 
modules for fixed size machine oriented integer types. Would be nice to 
have Natural located where Integer is. Unfortunately, so far Integer is 
only exported by Prelude and GHC.Integer.