Perl6 ternaries and Haskell Maybe

Just a quick post as I've not had a lot of time to play with Haskell just recently.

This morning I noticed Jonathan Lang's post to perl6-language asking if the ternary operator ?? !! could be turned into two binary operators. I thought this had been discussed some time back, but apparently not. Audrey commented that his suggested solution might not work for cases where the condition is true but the result value is untrue. I wondered if Perl 6's "hypothetical variables" (which might or might not contain a value) could be used. In that case, you could make ?? bind the hypothetical variable if the Left Hand Side is true, and not otherwise. !! would then become one of the list of short-circuiting OR operators.

	||    # truth
	//    # definedness
	!!    # "boundness"

I then had a snap of inspiration that it could be done in Haskell with the Maybe monad and knocked up the following (using ? ! because !! is already taken for list indexing)

 True  ? a = Just a
 False ? _ = Nothing

 Just a  ! _ = a
 Nothing ! b = b

Which seems to give the expected results

*Main> True ? "Bill" ! "Ben"
"Bill"
*Main> False ? "Bill" ! "Ben"
"Ben"