> In point-free style the "omitted" parameters have to be distinguished positionally; they have no names at all, not even 'a' or 'b
Yes, that's literally the definition of point-free style.
I was referring to labeling function parameters `a` and `b`.
Also, when I checked, that's actually not what the FGL library does. It labels type parameters with `a` and `b`. Labeling generics and type parameters with letters of the alphabet is pretty typical for a wide range of languages (ie, `T` in Java, etc.). Arguably, it's a bad idea, but it's by no means unique to Haskell.