Applies the function in the tuple to another tuple.
The instance of SemiGroup for A.
SemiGroup
A
The applied tuple.
Applies the function in the tuple to another tuple.