added reddit button, seems people added it already ;-)
http://www.reddit.com/r/scala/comments/1t8z4x/scalas_types_of_types/