Consider Static Typing

Type Inference