# 0.1.1 * Define `Setoid` and `Chain` type classes # 0.1.2 * Define `Infimum` and `Supremum` of `Semilattice` and `Lattice` type classes