store only type params in the IKCtor as the class is already there (see #3586, thanks @Simn)