the requirement here is that type classes must hav...
# arrow-contributors
e
the requirement here is that type classes must have a companion object though