On Fri, Feb 03, 2006 at 07:33:12PM -0000, Brian Hulley wrote:

One question is how to get some kind of "do" notation that would work well in a strict setting. The existing "do" notation makes use of lazyness in so far as the second arg of >> is only evaluated when needed. Perhaps a new keyword such as "go" could be used to use >>= instead ie:

you can override (>>) in your monad instance Monad ... where a >> b = a `seq` b `seq` (a >>= \_ -> b) .... unless I am misunderstanding what you want. John -- John Meacham - ⑆repetae.net⑆john⑈