it is when abstracting over typeclasses
# arrow-contributors
p
it is when abstracting over typeclasses