id,summary,reporter,owner,description,type,status,priority,milestone,version,resolution,keywords,cc
86,don't show leading foralls in type signatures,rwbarton@…,,"When using `ScopedTypeVariables` it's necessary to write leading foralls in type signatures in order to scope free variables over the body of the function definition.  Haddock reproduces these explicit foralls in its output.  As I see it, whether a function definition is written with explicit foralls is an implementation detail--it doesn't affect users of the function, and in most cases the function could have been written without `ScopedTypeVariables`.  So I think Haddock's output ideally shouldn't include these leading foralls; they're distracting, especially when some but not all of the functions in a module have them.",enhancement,new,minor,,2.5.0,,,SamB pho@…