Add link to higher-kinded types information