====== Gradual Polymorphic Effects ======

The full formal definition and the proof of type soundness is available {{proof.pdf|here}}.