Category Theory Illustrated – Types

by boris_m | View on Hacker News