What is ScopedTypeVariables?