Nested Generic Types?? - Theo's Typesafe Cult