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

On 2014-11-11 10:35, 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

+1, not that I've been particularly *missing* it as such, but it does make sense in this context.