If Programming Languages were <T>