Higher-Kinded Data

Type-Directed Code Generation

Modeling Music

Why we want monads [2015]

Elm is Wrong

Better Data Types a la Carte