but for typeclasses, it kinda can read that "every...
# arrow
j
but for typeclasses, it kinda can read that "every functor is an invariant" or "every traverse is a foldable"