ScopedTypeVariables

this is to hopefully fix travis-ci complaints on < 7.8