[19:12:47] Mm [21:44:24] (did I mention that I hate typing on mobile?) [21:44:28] I understand your point. it does seem rather odd to quote an argument where no argument was specified. [21:44:36] I think we're iphoning =o [23:45:42] Or making foldr strict in general. [23:45:49] It's from an old exam entrance of a French university, I translated the question in English. It's part of a longer exam si I might have omitted stuff.