Quaternions are monads since they are associative?

No, because they dont define the >>= operator (which is the one to be associative) in the first place.