let
to_pair t = t.lo, t.hi