Bodil Stokke is a good person to follow in general (on Github and Twitter) if you're into Clojure.

The name made me chuckle.

The Hindley-Milner actually makes seeing where the type system comes in a little difficult with these examples.

Hopefully see more code soon.