let
destructure i = (i.dom, i.lo, i.hi)