The Monoid instance about Sets and union operation.
Monoid
Set
The Ord instance for T.
Ord
T
The Monoid of union operation to Sets.
The
Monoidinstance aboutSets and union operation.