Gradual Polymorphic Effects

The full formal definition and the proof of type soundness is available here.