I think this is a limitation we're unlikely to overcome in Autofac, but it is interesting to explore.
You're correct in observing that the ContravariantRegistrationSource only recognizes types with one generic parameter. Looking at the source (currently at approx. Line 166) you'll see that limitation right there.
Looking at how the registration source is required to provide possible candidates I can understand that lifting the limitation will require more complexity in the implementation.
I cant really gove you an answer,but what I can give you is a way to a solution, that is you have to find the anglde that you relate to or peaks your interest. A good paper is one that people get drawn into because it reaches them ln some way.As for me WW11 to me, I think of the holocaust and the effect it had on the survivors, their families and those who stood by and did nothing until it was too late.