Binds the tuple to the function which returns a tuple.
The instance of SemiGroup for A.
SemiGroup
A
The bound tuple.
Binds the tuple to the function which returns a tuple.