connections-0.3.0: Orders, Galois connections, and lattices.
Data.Connection
module Data.Connection.Conn
module Data.Connection.Class