2 ms·
Not quite, 'a' is the type of the elements 'NonEmpty a' contains. It is rather the subclass of some kind of 'Iterable a'.
by secdeal 4y ago
Not quite, 'a' is the type of the elements 'NonEmpty a' contains.
It is rather the subclass of some kind of 'Iterable a'.