Since it's a prerequisite, yes. 

(I think almost all uses of ScopedTypeVariables can be replaced by not specifying type signatures, possibly with `asTypeOf` to help type inference along, but is sometimes required if you want to write a type signature for such functions.)