On Fri, 4 Dec 2020 at 08:32, Spiwack, Arnaud <arnaud.spiwack@tweag.io> wrote:
   arnaud
   would miss:
   Arrows, ExplicitNamespaces, ForeignFunctionInterface,
   FunctionalDependencies, GADTs, MonadFailDesugaring, MonoLocalBinds,
   PartialTypeSignatures, StarIsType, TypeFamilyDependencies
 
Of these 10 extensions. Let me note that
- ForeignFunctionInterface is part of Haskell 2010
- MonadFailDesugaring is the current default of GHC
- MonoLocalBinds is implied by TypeFamilies, which is otherwise included

So I assume that these are things which we've forgotten, rather than things that we oppose.

Right, we better be clear about ForeignFunctionInterface. Those who voted ForeignFunctionInterface: no, do you *really* want to turn off an extension that's already part of the Haskell standard?

Cheers
Simon