Ideally if all selectives are also Monad there is ...

# arrow-contributors

[raulraja]

Ideally if all selectives are also Monad there is no selective typeclass otherwise it should be in between Applicative and Monad