see rescala.default
rescala.extra
Well, its technically a semilattice, but that is just more to type.