Finite trees as initial algebra

In the last Theory Lunch session I talked about a category theoretic approach to finite trees.

The Constraint kind

I talked about the Constraint kind, a recent addition to Haskell. There is a write-up of my talk on my personal blog.