*all* monads are selective
# arrow-contributors
p
all monads are selective