Edit: Static typing

Describe this revision: