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

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?