[exdsq]

I really like Type Driven Development in Idris but that's a little more serious (it's things you can do in production!). But my all time favourite writing ever is https://aphyr.com/posts/342-typing-the-technical-interview