`Pair` is a type alias, Java users will want to read `Tuple2` here, I think.