typo in variance,

http://www.reddit.com/r/scala/comments/1t8z4x/scalas_types_of_types/