Repeating the name allows some optimizations but you'd be unlikely to use or benefit from them unless you were writing functions that returns functions and you

Repeating the name allows some optimizations but you'd be unlikely to use or benefit from them unless you were writing functions that returns functions and you could benefit from inlining some patterns and not others. I think I've seen the pattern in some web framework code, byte libraries, etc. Although semantically equivalent, the optimizer treats the following differently: f a = \b -> ... f a b = ...