selectM would the only part coming from Monad. Sel...
# arrow-contributors
r
selectM would the only part coming from Monad. Selective could be a supertype of Monad if you are happy with the signature change being made