5 Mar
2018
5 Mar
'18
4:02 a.m.
Am 04.03.2018 um 22:40 schrieb Josef Svenningsson:
The rule "foldr/id" will replace 'foldr (:) [] xs' with 'xs'.
Ah, thanks a lot. That was the missing piece. And good to know, too, this means I can avoid a number of case distinctions I thought I needed for optimum performance. Cheers Ben