and IIRC the paper has another branch of typeclass...
# arrow-contributors
p
and IIRC the paper has another branch of typeclasses that come from Selective