type(map(i .. i32, i64))
