Can Selective be a subtype of Applicative and Supe...
# arrow-contributors
r
Can Selective be a subtype of Applicative and Supertype of Monad so there is no need to pass the instances?