Proposal: Add NonEmpty constructors to the Prelude

[Simon Jakobi]

2016-12-28 20:39 GMT+01:00 Yitzchak Gale <gale at sefer.org>:
> I propose adding the basic constructors of NonEmpty to
> the Prelude: nonEmpty, (:|), and the type constructor NonEmpty.

+1

I'd still like to point out that all three names are exposed by
several other packages, mostly with different types:

* nonEmpty: https://www.stackage.org/lts-7.14/hoogle?q=nonEmpty&exact=on
* (:|): https://www.stackage.org/lts-7.14/hoogle?q=%3A%7C&exact=on
* NonEmpty: https://www.stackage.org/lts-7.14/hoogle?q=NonEmpty&exact=on