Because that’s what you need in the typeclass hier...
# arrow
s
Because that’s what you need in the typeclass hierarchy