Capture Dynamic Effects in the Type System

[sirinath]

This is easy said than done. But you can extend the intermediate type system to capture dynamic effects in the type system so thinks like monkey patching and other dynamic features can be converted into static code.

Monkey patching could be perhaps like effectful type transition (broadening, narrowing).