`==>>` is `Bind` but not `Monad`. furthermore `Bind` doesn't have law trait. we have to move to `Bind` from `Monad` the [`associativeBind`](https://github.com/scalaz/scalaz/blob/v7.1.0-M3/core/src/main/scala/scalaz/Monad.scala#L26) and [`apLikeDerived `](https://github.com/scalaz/scalaz/blob/v7.1.0-M3/core/src/main/scala/scalaz/Monad.scala#L29) laws, right?