David's blog
Posts
Main site
Follow me on Twitter
Go to my GitHub
String diagrams and the monad laws
Oct 17, 2026