I'm not sure how to implement the solution without typeclasses though, but I think it should be doable

Datatypes à la Carte: www.cambridge.org/core/service...

That's a good one. I love it! 😂

Schedule a free initial session: calendar.app.google/...

Or email us at [email protected]
5/5

We’ve taught:
• Introduction to Logic
• Programming in Java, C, and Python
• Abstract Algebra
• Object-Oriented and Functional Programming
• Graduate and Undergraduate Programming Languages

From fundamentals to advanced PL and logic, we help students at every stage.
4/5

Our background:
• 10+ years in Programming Languages and Formal Methods (academia + industry)
• 7+ years teaching and mentoring hundreds of students
• ACM Best Teaching Assistant Award (Purdue University, 2018)
3/5

At Type Theory Forall, we offer 1:1 mentorship in:
• Rocq
• Haskell
• OCaml
• Compilers
• Logic, Abstract Algebra, OO and FP fundaments

We also support students worldwide in preparing strong graduate school applications.
2/5