if we want something more syntactic, I guess a bet...
# arrow-contributors
p
if we want something more syntactic, I guess a better way of expressing typeclass dependencies and extension functions