Observations

Associativity is defined like this:

 (m >>= f) >>= g ≡	 m >>= (\x -> f x >>= g)

Or with the Kleisli arrow notation:

 (a >=> b) >=> c ≡	 a >=> (b >=> c)

Can you give an example of m,f,g or a,b,c or whatever that violate these axioms? The linked paper seems to say nothing about it.

I have tried the usual functions like getChar and putChar, and also bottom, and they all seem to obey.