Now with ScopedTypeVariables