If I write a function like this:

f (x1,y1) (x2,y2) = (x1++x2,y1++y2)

My understanding of typeclasses is just developing, but I notice this is a bit like "lifting" (++) into a tuple. Maybe there is some existing typeclass and a 2-tuple is already an instance of it? Like arrow?

D