Type Inference

Complete and Continue