Correction - failure of either-ref does take arguments.    But 'raise' only works if Left has only one argument (and although you usually store some kind of mssage there, it doesn't look very useful to raise that message alone---but that's a different story.)