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.


Reply via email to