23 Dec
2010
23 Dec
'10
4:02 a.m.
Interesting. In that case, state f = StateT $ \s -> Identity (f s) allows "state" to replace "State" in that code. On Wed, Dec 22, 2010 at 4:56 AM, Daniel Fischer <daniel.is.fischer@googlemail.com> wrote:
On Wednesday 22 December 2010 12:03:01, Ryan Ingram wrote:
Huh, that's weird, I just copy and pasted this into a new file and it worked for me.
As a guess, you have mtl-1.*? In mtl-2.*, State s is made a type synonym for StateT s Identity, so there's no longer a data constructor State.