Added MonadFailure typeclass for computations that may fail.