Make your abstractions explicit with Haskell(github.com)

https://github.com/DanielWaterworth/Musings/blob/master/make_your_abstractions_explicit_with_haskell.md