Genericise all the things