I think that given these results, I would have absolutely no issues with
dropping the MR completely. in fact, I'd recommend it.
If we must do something I don't think it is worth eating an operator for
a new type of binding, but some shorthand syntax
(x) = foo
being sugar for the equivalent of
(_,x) = (undefined,foo)
would not be objectionable.
John
--
John Meacham - ⑆repetae.net⑆john⑈
_______________________________________________
Haskell-prime mailing list
[email protected]
http://haskell.org/mailman/listinfo/haskell-prime