About Haskell

Haskell is a pure, lazy, functional programming language with a very expressive type system.

Extensible, Type-Safe Error Handling In Haskell
Ever heard of “extensible effects?” By applying the same principle, but for error handling, the result is nice, type-safe API for Haskell, with a lot of GHC magic under the hood.