Hi Henning,<br><br>&nbsp;&nbsp;&nbsp; I am rereading my emails and I don&#39;t believe I got an examples of &quot;instance Lattice&quot;. E.g. instance Lattice Bool. ??<br><br>Thanks, Vasili<br>