Magical Haskell: A Friendly Approach to Modern Functional Programming, Type Theory, and Artificial Intelligence 13 USD