It's really an amazing book. I am not overreacting here. Explaining how types work to non-programmers is really challenging. But the author, with an enjoyable story pace and nice examples, manages to do that with great success. I love A Type of Programming. Such beautiful perspectives. And a great way to meet Haskell for the first time I bet. I love this book. It's beautiful. I like it so much that I've given it as a gift to multiple people. In the sea of often dry Haskell learning resources, this approach is truly intuitive, loving and compassionate. A Type of Programming is such a great book, relaxing and insightful. Carving out more time to read it and learn Haskell.