readme: update

Author: nikitavoloboev

README.md

@@ -746,6 +746,7 @@ The number after the book name stands for the year in which the book was written
 ### Haskell
 
 - [📕 Haskell in Depth (2018)](https://www.manning.com/books/haskell-in-depth) - Explores the important language features and programming skills you’ll need to build production-quality software using Haskell.
+- [📕 Thinking with Types (2018)](https://leanpub.com/thinking-with-types) - Type-Level Programming in Haskell.
 - [📕 Programming in haskell (2016)](http://www.goodreads.com/book/show/912217.Programming_in_Haskell)
 - [📖 Write you a haskell (2014)](http://dev.stephendiehl.com/fun/)
   - [Implementation in code](https://github.com/AlphaMarc/WYAH)