Removed ScopedTypeVariables pragma, as we don't need it anymore.