Fn lightning talk on using provenance data to improve Haskell type errors: https://youtu.be/rdVqQUOvxSU