A class for monads which can fail with an error.
