As I commented here[0], my interpretation of:

  Can we have Exception monads? Asking for friend.

Was a desire to have "a type which handles raising Exception types." Until now, I was unaware of "Exception monad" being an alternate moniker for Either/Error types.

0 - https://news.ycombinator.com/item?id=48318468