[Ur] 'Anonymous function remains' in state monad

[Adam Chlipala]

Sorry; my answer is just suggesting doing something standard in ML 
module systems, but of course not everyone is already familiar with such 
systems!

I only suggested changing, in the /output/ signature of your functor, 
the line
     datatype state st a = State of (st -> S.m (st * a))
to
     con state :: Type -> Type -> Type

It was actually a mistake on my part to refer to [monad_state].
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20140816/c2b0f560/attachment.html>