Bounds

fun <T : Lattice<T>> Bounds(bounds: BoundedLattice<T>)