This is pretty exciting. I'm still only about halfway through the book, but I am really enjoying the language. Learning it has been a real brain melter (in a good way) so far. Am looking forward to finishing the book.

I do appreciate how you can use dependant types as much or as little as you like, so in some ways it can actually be considered a simpler and easier to learn Haskell due to having strict evaluation.