Changed Identity bind definition

[dmjio]

@EdwardK, Shouldn't the defintion of bind for Identity be

Identity x >>= f == f x

instead of

Identity x >>= f == Identity (f x)

or am I missing something

[ekmett]

You're missing something.

f :: a -> Identity b

already puts the Identity on.

[dmjio]

Yes, exactly, so the correct defintion should be Identity x >>= f == f x and not Identity x >>= f == Identity (f x) as the docs describe.

Identity x >>= f == Identity (f x) -- <-- The docs put it on twice

[dmjio]

http://hackage.haskell.org/package/mtl-2.2.1/docs/Control-Monad-Identity.html

[ekmett]

Ah. woops. I had read your patch backwards.

[dmjio]

Cool, thanks!