Type-safe error handling without committing to specific monad transformer stacks - View it on GitHub