Fix ScopedTypeVariables issue in ch3 exercise