this proves that Monad<F>: Selective<F&gt...
# arrow-contributors
p
this proves that Monad<F>: Selective<F>, and that’s the default implementation