Real World Haskell: Code You Can Believe In
An Introduction to Functional Programming Through Lambda Calculus (Dover Books on Mathematics)
Purely Functional Data Structures
Thinking Functionally with Haskell
From Simple IO to Monad Transformers