25 Mar
2017
25 Mar
'17
5:21 a.m.
On 2017-03-25 00:45, David Feuer wrote:
Using Void states that the list will always be empty, because the only way to put elements in it would be to fill in the Void fields with bottoms.
Right, so I kind of took it to mean "don't even bother trying to look at this -- there's nothing here", but I guess it could get kind of awkward if you were to, say, try to sort the list further. You'd have to purposefully avoid the field explicitly... Haven't go to it, but I'm probably going to go with a newtype and punt the naming by just doing Foo' vs Foo. After all, naming is really hard. :). Regards,