Hacker News new | ask | show | jobs
by secdeal 1204 days ago
Not quite, 'a' is the type of the elements 'NonEmpty a' contains.

It is rather the subclass of some kind of 'Iterable a'.