# 0.1.1 * Define `Setoid` and `Chain` type classes # 0.1.2 * Define `Infimum` and `Supremum` of `Semilattice` and `Lattice` type classes # 0.1.3 * Define `Semilattice` type family * Remove all prefix binary operators from type classes * Define `Semiring` type class