From the book "Haskell Programming from first principles" - View it on GitHub