Not only are they comparable, they're so comparable that one ought to put them under the same interface.

If you write library code, fail polymorphically, then the client can choose whether they want to call it as Maybe/Either/Exception and we can stop these never-ending arguments.