@dabeaz Learning about Algebraic Data Type specification and having my math friend talk to me about category theory.