Edit: Type inference

Describe this revision: