Lattice () | |

Ord a => Lattice (Set a) | |

(Lattice a, Lattice b) => Lattice (Either a b) | |

(Lattice a, Lattice b) => Lattice (a, b) | |

(Ord k, Lattice v) => Lattice (Map k v) | |

(Lattice a, Lattice b, Lattice c) => Lattice (a, b, c) | |

(Lattice a, Lattice b, Lattice c, Lattice d) => Lattice (a, b, c, d) | |