Anuradha Laxminarayan wrote: > seq f g h = f (\s1 -> g h s1) > > better be written as > > seq f g x = f (\s1 -> g x s1) > > because naming conventions imply that h is function. Well, for the subset of monads I'm talking about, it always is a function -- it's the continuation to be run after f and g. -- Greg