I spent most of my working life as a professor of mathematics, teaching, doing research, mostly in algebraic geometry, and, from time to time, taking care of various administrative duties. The continual contact with students, colleagues, and new ideas made it a good life indeed. These days I teach an occasional course, but spend much time on other things: working with functional programming languages like Elm and learning the double bass. Also trying to learn type theory, a subject which touches logic, computer science, and mathematics. What more could one ask for?