For example, the link I'm hovering over in this screenshot is broken, because it assumes that Cons exists in the current package. These docs are from version 3.0.0 of typelevel-prelude.
I'd like to consider solving this by removing links on declaration titles entirely, and just making them bold - this is what Hackage does. I think this would be a better UI, as it would better distinguish the name being declared from everything else. This could be particularly helpful for certain declarations such as type classes, for instance, since it's not always obvious which is the superclass and which is the class currently being declared (if you're not sufficiently familiar with the syntax). The links are sort of pointless anyway, as they would put you right where you already are; if you want a link to copy which you can send to other people, that's what the hash (#) to the left of the declaration is for.
For example, the link I'm hovering over in this screenshot is broken, because it assumes that
Consexists in the current package. These docs are from version 3.0.0 of typelevel-prelude.I'd like to consider solving this by removing links on declaration titles entirely, and just making them bold - this is what Hackage does. I think this would be a better UI, as it would better distinguish the name being declared from everything else. This could be particularly helpful for certain declarations such as type classes, for instance, since it's not always obvious which is the superclass and which is the class currently being declared (if you're not sufficiently familiar with the syntax). The links are sort of pointless anyway, as they would put you right where you already are; if you want a link to copy which you can send to other people, that's what the hash (#) to the left of the declaration is for.