Haskell has a problem with problems.
We have IO exceptions for unchecked exceptions - the same sort that plague Ruby, Python, JavaScript, and other languages.
We have ExceptT for checked exceptions, but Java has us beat on ergonomics and usability of checked exceptions.
Can we do better?
Well, the blog post points to generic-lens, but that's kind of hard to use.
Can we do better, and easier?
Yes! I alluded to this in my blog post Plucking Constraints. This library provides an API and demonstration on 'plucking' error constraints.