findMin (IntMap (WordMap (NonEmpty min minV (Bin max maxV _ r))))
    | w2i (xor min max) < 0 = case r of
        Tip -> (w2i max, maxV)
        Bin min' minV' _ _ -> (w2i min', minV')
    | otherwise = (w2i min, minV)
findMin (IntMap (WordMap (NonEmpty min minV (Bin max maxV _ r))))
    | w2i (xor min max) < 0 = case r of
        Tip -> (w2i max, maxV)
        Bin min' minV' _ _ -> (w2i min', minV')
    | otherwise = (w2i min, minV)
findMin (IntMap (WordMap (NonEmpty min minV (Bin max maxV _ r))))
    | w2i (xor min max) < 0 = case r of
        Tip -> (w2i max, maxV)
        Bin min' minV' _ _ -> (w2i min', minV')
    | otherwise = (w2i min, minV)