>Ideally if all selectives are also Monad it's...
# arrow-contributors
p
Ideally if all selectives are also Monad
it's the same as the relationship between functor and applicative. If you have an applicative, it has a default override for functor in terms of itself