
<html><body>Hi, and happy new year to everybody!<div><br><div>Even though I share with Arnaud a bit of sadness about GADTs, I think that the set of extensions we ended up with is quite coherent:</div><div>- We switch on by default some “simple syntactic” extensions, like new forms of numbers, empty cases, and so on.</div><div>- We put all generically-derivable type classes on the same ground; no more special treatment of Eq, Ord… just because they were there earlier.</div><div>- We enable the most battle-tested extensions to type classes which never compromise the safety.</div><div>- We make the kind system more regular by enabling PolyKinds, ConstraintKinds, and KindSignatures; but no fancy promotion from DataKinds.</div></div><div><br></div><div>I think it’s good that we’ve decided to keep *both* GADTs and TypeFamilies out. For me this gives the message that type level computation is still something we considered advanced and not fully settled; hence it’s still under a pragma.</div><div><br></div><div>Kind regards,</div><div>Alejandro</div></body></html>