Note this is similar to c# (and thinking about it, every OO language I can think of): var cat = new Animal<Cat>(...); // yup! Animal<Cat> cat = new Animal(...)

Note this is similar to c# (and thinking about it, every OO language I can think of): var cat = new Animal<Cat>(...); // yup! Animal<Cat> cat = new Animal(...); // Nope I wonder if internally ts is treating these generic-accepting classes in the same way, where the generic is required?