This means that types don't unify if you use Eff (exception :: EXCEPTION | e) a in your own type signature and use eg. throw.

Is there a reason for this, other than length? It seems inconsistent with every other effect row name.