Screencast of my invited keynote presentation from EuroPython 2021 wherein I exploit my reputation for live coding and systems programming to trick people into an impressionistic yarn about category theory and algebraic type systems. Some deer, space aliens…