PL Virtual Meetup: CtFP Textbook: Github Repo: Category Theory as Tool of Thought: Concepts vs Typeclasses vs Traits vs Protocols: Github Repo Solutions to above: %2B%2B/ConceptsTraitsTypeClassesProtocols Bartosz Milewski Category Theory 5.2: Algebraic data types: PLVM Discord: PLVM Twitter: Follow me on Github: Follow me on Twitter: Follow me on LinkedIn: