27 Aug
2009
27 Aug
'09
8:01 p.m.
On 27 Aug 2009 at 07:48, Ralf Hinze wrote:
\ x -> (v >>= \ a -> return ((u x) a)) x = { definition of >>= } \ x -> (\ a -> return ((u x) a)) (v x) x
Something seems to have gone wrong here - shouldn't that be \x -> (\y -> (\a -> return ((u x) a)) (v y) y) x = { beta } \x -> (\a -> return ((u x) a)) (v x) x ? ... but then we appear to end up in the same place. Now all I've got to do is figure out what you were trying to establish in the first place. :-) I don't entirely follow what the OP's up to, so you may have a point, but it's far from clear. You're talking about the reader monad, whereas he's talking about the effects in the ReaderT-transformed monad. -- Iain Alexander ia@stryx.demon.co.uk