Monad 'fail'.