Existential types and pattern matching in Scala?

I am tempted to say, that even if there is a solution to your question, there's something which does not sound right in your design. On one hand, you use complex types which are nice for type safety and inference at compile time . On the other hand you use a map to store runtime information.

So either, you simplify your traits and forget about type-saftey, or you forget about storing types in maps at runtime.

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.