On 2017-03-24T11:50:50 -0400 Brian Goetz <brian.goetz at oracle.com> wrote: > > Very interested in hearing the arguments for mutability in GADTs -- when > the gate for such discussions opens :) > I think the idea of a mutable GADT is enough to cause anyone to break out in a cold sweat! M