19 Oct
2017
19 Oct
'17
3:50 a.m.
On Wed, 18 Oct 2017, Gershom B wrote:
Vis a vis NonEmpty, base provides a partial `fromList`, much as I dislike it. Hence, the proper "roll your own" is `fromList . ordNub . toList`.
My idea of NonEmpty is to prove totality by implementation. I'd prefer a custom obviously total implementation of NonEmpty.ordNub.