Monads, I/O and Concurrency in Lux
luxlang.blogspot.com