non-negative, non-empty, absolute vs. relative (Was: Proposal: Export Data.Word.Word from Prelude)

[Henning Thielemann]

Am 14.08.2014 um 01:05 schrieb Evan Laforge:

> (do you use NonEmpty everywhere possible? always have separate types for
> absolute and relative measures? sometimes it's not worth the clutter).

Would be nice to have these without a lot of clutter, maybe Liquid 
Haskell will provide a solution?