Provide a link to 'A reflection on types' in Type.Reflection
Currently, the documentation page for
Type.Reflection on Hackage mentions the paper 'A reflection on types', but does not link it. Given that a public-facing copy is available, it seems like a missed opportunity to direct people more, well, directly to the original write-up of the ideas behind
Include a link to the public-facing copy of the paper. Ideally, this should be done in the first section of the
Type.Reflection page (where the paper is mentioned but currently not linked).