"Most of the time, the parameterised types just constrain the types" . . . .