Comment by hderms

The handler being a typeclass in Haskell vs the enumerated cases being pattern matching?