Combining Static and Runtime Type Checking for Better Dev Productivity

There are certain things, however, that just cannot be checked statically