and indeed it is defined as expected `interface Tu...

# arrow

[Jörg Winter]

and indeed it is defined as expected
interface Tuple2Semigroup<A, B> : Semigroup<Tuple2<A, B>> {
fun SA(): Semigroup<A>
fun SB(): Semigroup<B>
...etc