Libraries (was: IO monad and lazy evaluation)