iToExp :: I -> Exp
iToExp (I (Just c) vs) =
    foldl1' (BinopE MaxO) (ConstE (Int32C (fromIntegral c)) : Set.toList vs)
iToExp :: I -> Exp
iToExp (I (Just c) vs) =
    foldl1' (BinopE MaxO) (ConstE (Int32C (fromIntegral c)) : Set.toList vs)
iToExp (I (Just c) vs) =
    foldl1' (BinopE MaxO) (ConstE (Int32C (fromIntegral c)) : Set.toList vs)