Make LUB and GLB part of the typeclass