we can refactor those with `typeclassless`
# arrow-contributors
p
we can refactor those with
typeclassless