Proposed change is here: https://github.com/strangeloop/StrangeLoop2013/blob/master/slides/sessions/Odersky-TroubleWithTypes.pptx?raw=true https://github.com/st

Proposed change is here: https://github.com/strangeloop/StrangeLoop2013/blob/master/slides/sessions/Odersky-TroubleWithTypes.pptx?raw=true https://github.com/strangeloop/StrangeLoop2013/blob/master/s... and the Twitter thread is here: https://twitter.com/odersky/status/382833314286956544 https://twitter.com/odersky/status/382833314286956544