you want to define `Semigroup<Pair<A, B>&...

# arrow

[Mickey Donaghy]

you want to define Semigroup<Pair<A, B>> and take Semigroup<A> and Semigroup<B> as parameters to your definition