After successfully defining `Semigroup<Endo<...

# arrow

[Jörg Winter]

After successfully defining Semigroup<Endo<A>>, I tried to define Semigroup<Pair<Semigroup<A>, Semigroup<B>>>
... the plus operator won't be resolved here (same with combine function), and I have no idea why ?