| GSemigroup Ordering | |
| GSemigroup () | |
| GSemigroup Void | |
| GSemigroup All | |
| GSemigroup Any | |
| GSemigroup [a] | |
| GSemigroup a => GSemigroup (Identity a) | |
| GSemigroup a => GSemigroup (Dual a) | |
| GSemigroup (Endo a) | |
| Num a => GSemigroup (Sum a) | |
| Num a => GSemigroup (Product a) | |
| GSemigroup (First a) | |
| GSemigroup (Last a) | |
| GSemigroup a => GSemigroup (Maybe a) | |
| GSemigroup b => GSemigroup (a -> b) | |
| GSemigroup (Either a b) | |
| (GSemigroup a, GSemigroup b) => GSemigroup (a, b) | |
| GSemigroup a => GSemigroup (Const a b) | |
| GSemigroup (Proxy * s) | |
| (GSemigroup a, GSemigroup b, GSemigroup c) => GSemigroup (a, b, c) | |
| Alternative f => GSemigroup (Alt * f a) | |
| (GSemigroup a, GSemigroup b, GSemigroup c, GSemigroup d) => GSemigroup (a, b, c, d) | |
| (GSemigroup a, GSemigroup b, GSemigroup c, GSemigroup d, GSemigroup e) => GSemigroup (a, b, c, d, e) | |
| (GSemigroup a, GSemigroup b, GSemigroup c, GSemigroup d, GSemigroup e, GSemigroup f) => GSemigroup (a, b, c, d, e, f) | |
| (GSemigroup a, GSemigroup b, GSemigroup c, GSemigroup d, GSemigroup e, GSemigroup f, GSemigroup g) => GSemigroup (a, b, c, d, e, f, g) | |
| (GSemigroup a, GSemigroup b, GSemigroup c, GSemigroup d, GSemigroup e, GSemigroup f, GSemigroup g, GSemigroup h) => GSemigroup (a, b, c, d, e, f, g, h) | |