j
k
j a
j l
f:: a -> b -> (b, c) i.e. it returns a modified b and an additional c.
Sounds like a monad (think of "b" as the state that's threaded). Stefan
Back to the thread
Back to the list