Some notes and source code from a recent talk looking at error handling approaches in typed functional languages like Scala and Haskell.