> This looks like a bizarre rendition of the Error/Exception monad. Yes, of course. *Hal slaps himself* Thanks. > Also, your motivating example is ambiguous. I think you mainly care > about the case where the test is testing for some "exceptional" > condition. I personally wouldn't want to use this style every place I > would use an if. Definitely not! :) - Hal