IO Monad Realized in 1965 (2012)
okmij.org