Why doesn't Scala fully infer type parameters when type parameters are nested?

Kipton got close with his higher-kinded solution. Unfortunately he tripped over what appears to be a bug in Scala The following works as expected with 2.9.1. RC1 and trunk.

(See also two related questions: Scala fails to infer the right type arguments and Type infered to Nothing in Scala).

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.