> I thought I understood it, but looking at the difference in behaviour in the examples I posted, maybe I don't. I would try to add a type signature for liftM2, perhaps you're than getting a more helpful error message. Greetings, Daniel