Ah, ok.  I was thinking that there would be something that I could do with `ScopedTypeVariables` but I don't think having the parameter is at all harmful.