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." NonEmpty always has an element.
by 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.