Pure and type driven error handling for Haskell - View it on GitHub