On Sun, 26 Oct 2008, Galchin, Vasili wrote:

Hi Henning,

I am rereading my emails and I don't believe I got an examples of "instance Lattice". E.g. instance Lattice Bool. ??

Did you look into the Lattice module? Bool with respect to && and || Sets with respect to union and intersection (a set is like multiple booleans) any real number type with respect to min and max Natural numbers with respect to GCD and LCM (consider the exponents of the prime factor decomposition)