Singpolyma

School of Haskell considers it an anti-pattern, I wrote a library (unexceptionalio) to make it even easier.

This is a matter of taste, a bit. Basically, do you prefer the type system to catch your mistakes (even if that causes some extra coding) or not?