3 ms·
But the nonempty list never has an element, so we don't need to worry about the type mutation of removing an element from it. Filter just returns a nonempty lis
by ryangs 2y ago
But the nonempty list never has an element, so we don't need to worry about the type mutation of removing an element from it. Filter just returns a nonempty list.
- jerf 2y ago"But the nonempty list never has an element, so we don't need to worry about the type mutation of removing an element from it." NonEmpty always has an element.