Type inference

From Lane Schwartz  

views comments