Closed mxxun closed 2 years ago
Replaces typeFun's foldr1 with a total foldr. Admittedly NonEmpty syntax is not as pretty.
typeFun
foldr1
foldr
Thank you.
Replaces
typeFun
'sfoldr1
with a totalfoldr
. Admittedly NonEmpty syntax is not as pretty.