User Guide link to injective type families paper is dead
Summary
The link to the paper "Injective type families for Haskell" linked to here in the User's Guide 404's.
Proposed improvements or changes
Ideally, it should be replaced with a live link. I have not been able to find a publicly accessible one.