The new syntax for my little Ruby type checking method is now (in part) CollectionType<Type,Type,...,Type> where the list of types is a variable length tuple with elements separated by commas. That looks ‘right’ to me.