"A tuple representing an open type argument and its use-site variance." shared alias OpenTypeArgument => [OpenType,Variance];