Jacob Carlborg:
The simplified signatures would be show for the main signatures, i.e. the ones with a light blue background, and the full signatures would be added at the end of the documentation for each symbol.
Another possible improvement is to add popups that show the complete type when the mouse is over the name of a type or value.
You can see that used in this F# code: http://tomasp.net/blog/2014/puzzling-fsharp/ And in this near-Haskell code: http://goto.ucsd.edu/~rjhala/liquid/haskell/blog/blog/2014/08/15/a-finer-filter.lhs/ Bye, bearophile
