EXCEPTION row is named err

[leighman]

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.

[garyb]

I'm surprised we don't have an issue for this already actually, as yeah, it's problematic.

[garyb]

@paf31 what do you think about changing this now?

[paf31]

Makes sense to me. Didn't it used to be called exception?