********************
Local Type Inference
********************