let
subset u v = u.lo >= v.lo
&&
u.hi <= v.hi