[proc0]

Yet another Monad tutorial in disguise. Good review of exceptions, etc., and how to handle them. tl;dr: Use Maybe and Either instances (or equivalent GADTs) for better control flow.