Add link for "Closed type families with overlapping equations".