The GHC source features all these annotations which sadly aren’t easy to navigate via haddock.
For example, in the CoreSyn
module (CoreSyn):
Wouldn’t it be nice if these were hyperlinked together and/or visible with the rest of the HTML documenation?