> > ...Haskell's love for untyped exceptions everywhere... > Nope, Haskell's exceptions are typed. logicchains means that the exceptions that a function can t

> > ...Haskell's love for untyped exceptions everywhere... > Nope, Haskell's exceptions are typed. logicchains means that the exceptions that a function can throw are not noted in its type (and as a massive Haskell fan I agree with him/her that that is very annoying).