Yeah, Tuple2 should definitely be `@higherkind`, a...
# arrow-contributors
a
Yeah, Tuple2 should definitely be
@higherkind
, and should probably also have all the instances (Functor, Monad, Traverse, etc.)