Links for generic-programming-with-adjunctions