and so are Traverse, Foldable, pretty much everyth...

# arrow

[pakoito]

and so are Traverse, Foldable, pretty much everything that's a typeclass abstracts over containers