How pondering rank-polymorphism led me to a book on category theory