Add fail methods for Monad instances