Hi Henning,

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

Thanks, Vasili