connections-0.0.2.2: Partial orders, Galois connections, dioids, and lattices.
Data.Semigroup.Triangular