Add notes from the presentation on pure functional IO.