Skip to content

Changes

Page history
template for 2nd vote authored by ijones's avatar ijones
Hide whitespace changes
Inline Side-by-side
straw-poll-2.md 0 → 100644
View page @ 6234008c
# Straw Poll 2
**DO NOT** start voting yet. Please contribute to the discussion on the mailing list first.
Haskell' Committee: Here is a form to record your current opinion on all proposals.
## About this Poll
This vote is designed to tease out the "definitely in" proposals, and
to identify authors of their sections, so that we can make more
concrete progress on the language.
The deadline for this poll is ?? but please try to get in your votes as early as possible so that we can have a discussion about its impact.
I've left the previous vote intact, and made them the relatively
neutral votes, so you can leave them as-is, or you can change them to
"A" or "R", for instance, to "Definitely Accept" or "Definitely
Reject". You can also indicate that you'd be willing to write the
section on this proposal for the report by voting "AW" for instance.
## How to Vote
- Rate each proposal as
- A - Accept - This proposal should definitely be Accepted
- Y - Yes - I tend towards accepting this proposal
- N - No - I tend towards rejecting this proposal
- R - Reject - This proposal should definitely be Rejected.
- blank - I am ambivalent, undecided, or haven't considered it properly in detail.
- Modifiers - some combinations are allowed (AW would mean that you definitely think we should accept the proposal, and you'd be willing to write the section.)
- W - Write - I would volunteer to help Write the report section for this proposal.
- M - More information is needed (the proposal isn't clear enough to make a meaningful vote)
- '\*' - We should do something here, but not necessarily what is proposed.
- Add your ratings to the column of the table headed with your initials.
- In order to reduce problems of multiple people editing:
- Do the easy ones first (and quickly), and hit 'save'
- Then do the harder ones one at a time, and save in-between each.
- Your answers to [StrawPoll-1](straw-poll-1) are the default values. You might want to double-check them.
- Isaac added "I have completed voting" so we can tell the difference between someone who wants to leave their votes as-is (I hope no one does), verses someone who just hasn't voted.
## The Vote
<table><tr><th> IJ </th>
<th> JL </th>
<th> MC </th>
<th> JG </th>
<th> BH </th>
<th> AL </th>
<th> SM </th>
<th> JM </th>
<th> RN </th>
<th> HN </th>
<th> RP </th>
<th> SPJ </th>
<th> DS </th>
<th> MS </th>
<th> AT </th>
<th> SJT </th>
<th> MW </th>
<th> SW </th>
<th> Ticket </th>
<th> Description
</th></tr>
<tr><th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th> - </th>
<th> I have completed voting.
</th></tr>
<tr><th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th></th>
<th></th>
<th> Y </th>
<th> M </th>
<th> Y </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th> M </th>
<th> M </th>
<th> Y </th>
<th>[\#74](https://gitlab.haskell.org//haskell/prime/issues/74)</th>
<th> add some kind of concurrency
</th></tr>
<tr><th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th>[\#35](https://gitlab.haskell.org//haskell/prime/issues/35)</th>
<th> add [ForeignFunctionInterface](foreign-function-interface)</th></tr>
<tr><th> Y </th>
<th> M </th>
<th> M </th>
<th></th>
<th></th>
<th> M </th>
<th></th>
<th></th>
<th> Y </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th></th>
<th></th>
<th> Y </th>
<th> Y </th>
<th> M </th>
<th> YM </th>
<th>[\#49](https://gitlab.haskell.org//haskell/prime/issues/49)</th>
<th> add multi parameter type classes
</th></tr>
<tr><th></th>
<th> Y </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th>[\#60](https://gitlab.haskell.org//haskell/prime/issues/60)</th>
<th> add RankNTypes or Rank2Types
</th></tr>
<tr><th></th>
<th> M </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th>[\#57](https://gitlab.haskell.org//haskell/prime/issues/57)</th>
<th> add polymorphic components
</th></tr>
<tr><th> Y </th>
<th> M </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th>[\#26](https://gitlab.haskell.org//haskell/prime/issues/26)</th>
<th> add [ExistentialQuantification](existential-quantification) (existential components)
</th></tr>
<tr><th></th>
<th></th>
<th> M </th>
<th></th>
<th> Y </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th> M </th>
<th></th>
<th> N </th>
<th>[\#85](https://gitlab.haskell.org//haskell/prime/issues/85)</th>
<th> more liberal kind inference
</th></tr>
<tr><th> M </th>
<th></th>
<th></th>
<th></th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th>Y </th>
<th> Y </th>
<th> N </th>
<th> Y </th>
<th>[\#70](https://gitlab.haskell.org//haskell/prime/issues/70)</th>
<th> allow [TypeSynonymInstances](type-synonym-instances)</th></tr>
<tr><th></th>
<th> Y </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th>[\#65](https://gitlab.haskell.org//haskell/prime/issues/65)</th>
<th> Relax Dependency Analysis
</th></tr>
<tr><th> Y\* </th>
<th> N </th>
<th> Y </th>
<th></th>
<th></th>
<th> Y </th>
<th></th>
<th> N </th>
<th></th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th>[\#39](https://gitlab.haskell.org//haskell/prime/issues/39)</th>
<th> add [ImpreciseExceptions](imprecise-exceptions)</th></tr>
<tr><th> Y\* </th>
<th> N </th>
<th>Y(3)</th>
<th>Y(3)</th>
<th></th>
<th></th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> M </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y(3) </th>
<th>[\#29](https://gitlab.haskell.org//haskell/prime/issues/29)</th>
<th> add [ExtensibleExceptions](extensible-exceptions)</th></tr>
<tr><th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th>[\#24](https://gitlab.haskell.org//haskell/prime/issues/24)</th>
<th> add [HierarchicalModules](hierarchical-modules)</th></tr>
<tr><th> Y </th>
<th></th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th></th>
<th> Y </th>
<th></th>
<th> Y </th>
<th></th>
<th>Y </th>
<th> Y </th>
<th></th>
<th></th>
<th>[\#89](https://gitlab.haskell.org//haskell/prime/issues/89)</th>
<th> standardize the System.FilePath? module for Haskell'
</th></tr>
<tr><th></th>
<th></th>
<th> Y </th>
<th></th>
<th></th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th></th>
<th></th>
<th> Y </th>
<th></th>
<th>Y </th>
<th></th>
<th></th>
<th> Y </th>
<th>[\#53](https://gitlab.haskell.org//haskell/prime/issues/53)</th>
<th> Nondecreasing Indentation
</th></tr>
<tr><th> Y </th>
<th> Y </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th> Y </th>
<th></th>
<th></th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th>[\#25](https://gitlab.haskell.org//haskell/prime/issues/25)</th>
<th> add [EmptyDataDeclarations](empty-data-declarations)</th></tr>
<tr><th> Y </th>
<th></th>
<th> Y </th>
<th></th>
<th></th>
<th> Y </th>
<th></th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th></th>
<th>Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th>[\#23](https://gitlab.haskell.org//haskell/prime/issues/23)</th>
<th> fix common pitfall with the do-notation and if-then-else
</th></tr>
<tr><th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th></th>
<th></th>
<th> Y </th>
<th> Y\* </th>
<th> Y\* </th>
<th> M </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th></th>
<th>Y(1)</th>
<th></th>
<th> Y </th>
<th></th>
<th>[\#15](https://gitlab.haskell.org//haskell/prime/issues/15)</th>
<th> add a binary IO interface
</th></tr>
<tr><th></th>
<th></th>
<th> Y </th>
<th></th>
<th> Y </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th></th>
<th> Y </th>
<th></th>
<th></th>
<th> Y </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th>[\#59](https://gitlab.haskell.org//haskell/prime/issues/59)</th>
<th> Fix the lexical syntax for qualified identifiers
</th></tr>
<tr><th></th>
<th></th>
<th> Y </th>
<th></th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th></th>
<th></th>
<th></th>
<th> Y </th>
<th> Y </th>
<th>[\#42](https://gitlab.haskell.org//haskell/prime/issues/42)</th>
<th> fix comment syntax grammar
</th></tr>
<tr><th></th>
<th></th>
<th> Y </th>
<th></th>
<th></th>
<th> M </th>
<th></th>
<th></th>
<th> M </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th>[\#32](https://gitlab.haskell.org//haskell/prime/issues/32)</th>
<th> add [FlexibleInstances](flexible-instances)</th></tr>
<tr><th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th> M </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th>[\#31](https://gitlab.haskell.org//haskell/prime/issues/31)</th>
<th> add Flexible Contexts
</th></tr>
<tr><th> Y </th>
<th> Y </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th></th>
<th> Y </th>
<th> Y </th>
<th>[\#56](https://gitlab.haskell.org//haskell/prime/issues/56)</th>
<th> add Pattern Guards
</th></tr>
<tr><th> M </th>
<th> M </th>
<th> Y </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th> M </th>
<th> Y </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th> Y </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th> Y </th>
<th>[\#51](https://gitlab.haskell.org//haskell/prime/issues/51)</th>
<th> add new pragmas
</th></tr>
<tr><th></th>
<th> N </th>
<th> M </th>
<th></th>
<th></th>
<th></th>
<th> N </th>
<th></th>
<th></th>
<th> N </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th> M </th>
<th> Y </th>
<th> M </th>
<th>[\#79](https://gitlab.haskell.org//haskell/prime/issues/79)</th>
<th> Natural numbers
</th></tr>
<tr><th> Y </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th> N </th>
<th></th>
<th> Y </th>
<th></th>
<th>Y </th>
<th></th>
<th> Y </th>
<th> Y </th>
<th>[\#72](https://gitlab.haskell.org//haskell/prime/issues/72)</th>
<th> Make underscore 'caseless'
</th></tr>
<tr><th> N </th>
<th> Y </th>
<th> N </th>
<th></th>
<th> N </th>
<th> N </th>
<th> N </th>
<th> N </th>
<th> N </th>
<th> N </th>
<th> N </th>
<th></th>
<th> N </th>
<th></th>
<th> N </th>
<th> N </th>
<th> N </th>
<th> N </th>
<th>[\#20](https://gitlab.haskell.org//haskell/prime/issues/20)</th>
<th> Eliminate . as an operator
</th></tr>
<tr><th> Y\* </th>
<th></th>
<th> Y </th>
<th></th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th></th>
<th></th>
<th> Y </th>
<th></th>
<th> Y </th>
<th></th>
<th></th>
<th></th>
<th> Y </th>
<th></th>
<th>[\#61](https://gitlab.haskell.org//haskell/prime/issues/61)</th>
<th> replace the Read class
</th></tr>
<tr><th></th>
<th> M </th>
<th> Y </th>
<th></th>
<th></th>
<th></th>
<th> Y </th>
<th></th>
<th></th>
<th> M </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th> N </th>
<th> N </th>
<th> N </th>
<th></th>
<th>[\#96](https://gitlab.haskell.org//haskell/prime/issues/96)</th>
<th> Replace the array indexing operator, '!'
</th></tr>
<tr><th></th>
<th></th>
<th>N&Y </th>
<th></th>
<th> M </th>
<th> Y </th>
<th> Y\* </th>
<th> Y\* </th>
<th></th>
<th> Y\* </th>
<th> N </th>
<th> Y </th>
<th></th>
<th></th>
<th></th>
<th> M </th>
<th></th>
<th></th>
<th>[\#95](https://gitlab.haskell.org//haskell/prime/issues/95)</th>
<th> improve module interfaces
</th></tr>
<tr><th></th>
<th></th>
<th> N </th>
<th></th>
<th> N </th>
<th></th>
<th> Y </th>
<th> N </th>
<th> Y </th>
<th> M </th>
<th> N </th>
<th> N </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th> N </th>
<th>[\#86](https://gitlab.haskell.org//haskell/prime/issues/86)</th>
<th> add [PartialTypeAnnotations](partial-type-annotations)?
</th></tr>
<tr><th> Y\* </th>
<th> Y </th>
<th> Y </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th> Y </th>
<th></th>
<th> M </th>
<th> N </th>
<th> Y </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th>[\#76](https://gitlab.haskell.org//haskell/prime/issues/76)</th>
<th> Bang patterns
</th></tr>
<tr><th></th>
<th></th>
<th> Y </th>
<th></th>
<th></th>
<th></th>
<th> Y\* </th>
<th> YM </th>
<th> Y </th>
<th> Y\* </th>
<th></th>
<th> YM </th>
<th></th>
<th></th>
<th></th>
<th> M </th>
<th></th>
<th> YM </th>
<th>[\#67](https://gitlab.haskell.org//haskell/prime/issues/67)</th>
<th> add Scoped Type Variables
</th></tr>
<tr><th> N </th>
<th></th>
<th> N </th>
<th></th>
<th> N </th>
<th> N </th>
<th> Y\* </th>
<th> Y\* </th>
<th> Y </th>
<th> N </th>
<th> N </th>
<th></th>
<th> N </th>
<th></th>
<th></th>
<th> N </th>
<th></th>
<th></th>
<th>[\#62](https://gitlab.haskell.org//haskell/prime/issues/62)</th>
<th> allow data consructors to be exported and imported readonly
</th></tr>
<tr><th> Y\* </th>
<th> M </th>
<th> M </th>
<th></th>
<th></th>
<th></th>
<th> N </th>
<th></th>
<th> Y </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th> M </th>
<th></th>
<th>[\#58](https://gitlab.haskell.org//haskell/prime/issues/58)</th>
<th> prelude re-organisation proposal
</th></tr>
<tr><th></th>
<th> Y </th>
<th> Y </th>
<th></th>
<th> N </th>
<th> N </th>
<th> N </th>
<th> Y </th>
<th></th>
<th> N </th>
<th> N </th>
<th> N </th>
<th></th>
<th></th>
<th> Y </th>
<th> N </th>
<th> N </th>
<th></th>
<th>[\#55](https://gitlab.haskell.org//haskell/prime/issues/55)</th>
<th> add Parallel List comprehensions
</th></tr>
<tr><th></th>
<th> Y </th>
<th> Y </th>
<th></th>
<th></th>
<th> M </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> N </th>
<th> Y </th>
<th></th>
<th></th>
<th> Y </th>
<th></th>
<th> Y </th>
<th> Y </th>
<th>[\#52](https://gitlab.haskell.org//haskell/prime/issues/52)</th>
<th> Generalised deriving for newtype
</th></tr>
<tr><th> N </th>
<th> M </th>
<th> N </th>
<th></th>
<th> N </th>
<th> N </th>
<th> N </th>
<th> Y </th>
<th> N </th>
<th> N </th>
<th> N </th>
<th></th>
<th> N </th>
<th></th>
<th> N </th>
<th> N </th>
<th></th>
<th> Y </th>
<th>[\#50](https://gitlab.haskell.org//haskell/prime/issues/50)</th>
<th> get rid of unary '-' operator
</th></tr>
<tr><th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th> M </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th>[\#48](https://gitlab.haskell.org//haskell/prime/issues/48)</th>
<th> clarify module system proposals
</th></tr>
<tr><th></th>
<th></th>
<th></th>
<th></th>
<th> N </th>
<th> N </th>
<th></th>
<th> N </th>
<th></th>
<th> N </th>
<th> N </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th> N </th>
<th></th>
<th></th>
<th>[\#44](https://gitlab.haskell.org//haskell/prime/issues/44)</th>
<th> add [MagicUnderscore](magic-underscore)</th></tr>
<tr><th></th>
<th> N </th>
<th> N </th>
<th> N </th>
<th> N </th>
<th> N </th>
<th> N </th>
<th></th>
<th> N </th>
<th> N </th>
<th> N </th>
<th> N </th>
<th></th>
<th></th>
<th> N </th>
<th> N </th>
<th></th>
<th></th>
<th>[\#41](https://gitlab.haskell.org//haskell/prime/issues/41)</th>
<th> add [LambdaCase](lambda-case)</th></tr>
<tr><th> M </th>
<th> M </th>
<th> N </th>
<th></th>
<th></th>
<th></th>
<th> N </th>
<th> Y </th>
<th> Y </th>
<th> N </th>
<th> N </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th>[\#34](https://gitlab.haskell.org//haskell/prime/issues/34)</th>
<th> add [ForeignData](foreign-data)</th></tr>
<tr><th> Y </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th> Y\* </th>
<th> Y </th>
<th> Y </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th>[\#33](https://gitlab.haskell.org//haskell/prime/issues/33)</th>
<th> add Blockable
</th></tr>
<tr><th></th>
<th></th>
<th> Y </th>
<th></th>
<th></th>
<th></th>
<th> Y </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th></th>
<th> Y </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th>[\#30](https://gitlab.haskell.org//haskell/prime/issues/30)</th>
<th> remove operator fixity resolution from the context-free grammar
</th></tr>
<tr><th></th>
<th> M </th>
<th> N </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th> Y </th>
<th></th>
<th></th>
<th> N </th>
<th> N </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th> N </th>
<th></th>
<th>[\#28](https://gitlab.haskell.org//haskell/prime/issues/28)</th>
<th> Require explicit quantification on all expression bound type signatures
</th></tr>
<tr><th></th>
<th></th>
<th> Y </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th> M </th>
<th> Y </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th> Y </th>
<th></th>
<th>[\#21](https://gitlab.haskell.org//haskell/prime/issues/21)</th>
<th> improve defaulting rules
</th></tr>
<tr><th></th>
<th> N </th>
<th> N </th>
<th></th>
<th></th>
<th> N </th>
<th> N </th>
<th> M </th>
<th></th>
<th> N </th>
<th> N </th>
<th> N </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th> N </th>
<th>[\#92](https://gitlab.haskell.org//haskell/prime/issues/92)</th>
<th> add First Class Labels
</th></tr>
<tr><th></th>
<th> N </th>
<th> N </th>
<th></th>
<th></th>
<th></th>
<th> N </th>
<th> N </th>
<th></th>
<th> N </th>
<th> Y </th>
<th> N </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th> Y </th>
<th></th>
<th>[\#99](https://gitlab.haskell.org//haskell/prime/issues/99)</th>
<th> Move existing named field (record) system to an addendum
</th></tr>
<tr><th></th>
<th> N </th>
<th> N </th>
<th></th>
<th></th>
<th></th>
<th> N </th>
<th> N </th>
<th> N </th>
<th> N </th>
<th> N </th>
<th> N </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th> N </th>
<th></th>
<th>[\#100](https://gitlab.haskell.org//haskell/prime/issues/100)</th>
<th> Replace named fields with an extensible record system
</th></tr>
<tr><th></th>
<th> M </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th> M </th>
<th> Y </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th> Y </th>
<th></th>
<th>[\#80](https://gitlab.haskell.org//haskell/prime/issues/80)</th>
<th> Reform the monomorphism restriction
</th></tr>
<tr><th></th>
<th> M </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th>[\#78](https://gitlab.haskell.org//haskell/prime/issues/78)</th>
<th> Add infix type constructors
</th></tr>
<tr><th> N </th>
<th></th>
<th> Y </th>
<th></th>
<th> N </th>
<th> N </th>
<th> N </th>
<th> N </th>
<th> Y </th>
<th> N </th>
<th> N </th>
<th> Y </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th> N </th>
<th></th>
<th>[\#82](https://gitlab.haskell.org//haskell/prime/issues/82)</th>
<th> Allow import declarations anywhere at the top level
</th></tr>
<tr><th></th>
<th></th>
<th> Y </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th> Y </th>
<th>[\#81](https://gitlab.haskell.org//haskell/prime/issues/81)</th>
<th> scoping of type variables in class instances
</th></tr>
<tr><th> Y\* </th>
<th></th>
<th> M </th>
<th></th>
<th></th>
<th></th>
<th> M </th>
<th> M </th>
<th></th>
<th> M </th>
<th></th>
<th> M </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th> M </th>
<th>[\#88](https://gitlab.haskell.org//haskell/prime/issues/88)</th>
<th> unified and extensible annotations
</th></tr>
<tr><th></th>
<th></th>
<th> N </th>
<th></th>
<th> M </th>
<th></th>
<th> N </th>
<th> N </th>
<th></th>
<th> M </th>
<th> N </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th> M </th>
<th> N </th>
<th> N </th>
<th>[\#19](https://gitlab.haskell.org//haskell/prime/issues/19)</th>
<th> control export and import of class instances
</th></tr>
<tr><th></th>
<th></th>
<th> Y </th>
<th></th>
<th></th>
<th></th>
<th> Y </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th></th>
<th> Y </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th> Y </th>
<th>[\#17](https://gitlab.haskell.org//haskell/prime/issues/17)</th>
<th> relax restriction on signatures of class methods
</th></tr>
<tr><th> Y\* </th>
<th></th>
<th> N </th>
<th></th>
<th> Y </th>
<th> Y </th>
<th> N </th>
<th></th>
<th> Y </th>
<th> N </th>
<th> N </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th> Y </th>
<th></th>
<th> Y </th>
<th>[\#68](https://gitlab.haskell.org//haskell/prime/issues/68)</th>
<th> Eliminate tabs
</th></tr>
<tr><th></th>
<th> N </th>
<th> Y </th>
<th></th>
<th> N </th>
<th> N </th>
<th> N </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> N </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th> N </th>
<th></th>
<th>[\#64](https://gitlab.haskell.org//haskell/prime/issues/64)</th>
<th> add recursive do syntax
</th></tr>
<tr><th></th>
<th> M </th>
<th> M </th>
<th></th>
<th></th>
<th> Y </th>
<th> N </th>
<th> N\* </th>
<th> N </th>
<th> Y </th>
<th> N </th>
<th> Y </th>
<th></th>
<th></th>
<th> Y </th>
<th></th>
<th> N </th>
<th></th>
<th>[\#37](https://gitlab.haskell.org//haskell/prime/issues/37)</th>
<th> add GADTs
</th></tr>
<tr><th></th>
<th> N </th>
<th> N </th>
<th></th>
<th> N </th>
<th> N </th>
<th> N </th>
<th> N </th>
<th> Y </th>
<th> Y\* </th>
<th> N </th>
<th> M </th>
<th> N </th>
<th></th>
<th></th>
<th> Y </th>
<th> N </th>
<th> M </th>
<th>[\#73](https://gitlab.haskell.org//haskell/prime/issues/73)</th>
<th> add views
</th></tr>
<tr><th></th>
<th> N </th>
<th> N </th>
<th> Y </th>
<th></th>
<th> M </th>
<th></th>
<th></th>
<th> N </th>
<th> N </th>
<th></th>
<th> N </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th> N </th>
<th></th>
<th>[\#71](https://gitlab.haskell.org//haskell/prime/issues/71)</th>
<th> Allow Undecidable Instances
</th></tr>
<tr><th></th>
<th> N </th>
<th> N </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th> N </th>
<th> N </th>
<th> M </th>
<th> N </th>
<th> Y </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th> N </th>
<th> N </th>
<th>[\#54](https://gitlab.haskell.org//haskell/prime/issues/54)</th>
<th> add overlapping or incoherent instances
</th></tr>
<tr><th> N </th>
<th> N </th>
<th> N </th>
<th></th>
<th> N </th>
<th> N </th>
<th> N </th>
<th> N </th>
<th> N </th>
<th> N </th>
<th> N </th>
<th> N </th>
<th> N </th>
<th></th>
<th> N </th>
<th></th>
<th> N </th>
<th> N </th>
<th>[\#43](https://gitlab.haskell.org//haskell/prime/issues/43)</th>
<th> add Linear implicit params
</th></tr>
<tr><th> M </th>
<th> M </th>
<th> N </th>
<th></th>
<th></th>
<th> N </th>
<th> N </th>
<th></th>
<th> Y </th>
<th> Y </th>
<th></th>
<th> M </th>
<th> N </th>
<th></th>
<th></th>
<th> M </th>
<th> M </th>
<th> YM </th>
<th>[\#36](https://gitlab.haskell.org//haskell/prime/issues/36)</th>
<th> add [FunctionalDependencies](functional-dependencies)</th></tr>
<tr><th> Y </th>
<th> N </th>
<th> Y </th>
<th></th>
<th> N </th>
<th> N </th>
<th> N </th>
<th> Y </th>
<th></th>
<th> N </th>
<th> N </th>
<th> Y </th>
<th></th>
<th></th>
<th></th>
<th> N </th>
<th> Y </th>
<th> Y </th>
<th>[\#77](https://gitlab.haskell.org//haskell/prime/issues/77)</th>
<th> add [MultiWayIf](multi-way-if)</th></tr>
<tr><th></th>
<th> N </th>
<th> N </th>
<th></th>
<th> N </th>
<th></th>
<th> N </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th> N </th>
<th></th>
<th></th>
<th></th>
<th> Y </th>
<th></th>
<th></th>
<th> N </th>
<th>[\#69](https://gitlab.haskell.org//haskell/prime/issues/69)</th>
<th> allow tuple sections
</th></tr>
<tr><th> N </th>
<th> N </th>
<th> N </th>
<th></th>
<th> N </th>
<th> N </th>
<th> N </th>
<th> N </th>
<th> N </th>
<th> N </th>
<th> N </th>
<th></th>
<th> N </th>
<th></th>
<th></th>
<th> N </th>
<th> N </th>
<th> N </th>
<th>[\#38](https://gitlab.haskell.org//haskell/prime/issues/38)</th>
<th> add implicit parameters
</th></tr>
<tr><th> M </th>
<th> M </th>
<th> N </th>
<th></th>
<th></th>
<th> N </th>
<th> N </th>
<th> M </th>
<th> M </th>
<th> N </th>
<th></th>
<th> N </th>
<th> N </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th> N </th>
<th>[\#14](https://gitlab.haskell.org//haskell/prime/issues/14)</th>
<th> add Associated Types
</th></tr>
<tr><th> N </th>
<th> M </th>
<th> N </th>
<th></th>
<th> N </th>
<th> N </th>
<th> N </th>
<th> N </th>
<th></th>
<th> N </th>
<th> N </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th> N </th>
<th> N </th>
<th></th>
<th>[\#13](https://gitlab.haskell.org//haskell/prime/issues/13)</th>
<th> add Arrows
</th></tr>
<tr><th> N </th>
<th></th>
<th> N </th>
<th></th>
<th> N </th>
<th> N </th>
<th> N </th>
<th> Y\* </th>
<th></th>
<th> N </th>
<th> N </th>
<th> N </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th> N </th>
<th>[\#18](https://gitlab.haskell.org//haskell/prime/issues/18)</th>
<th> add closed classes
</th></tr>
<tr><th></th>
<th></th>
<th> Y </th>
<th></th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> Y </th>
<th> N </th>
<th> Y </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th></th>
<th></th>
<th> Y </th>
<th>[\#84](https://gitlab.haskell.org//haskell/prime/issues/84)</th>
<th> Kind Annotations
</th></tr></table>
---
Member key:
- IJ Isaac Jones (co-editor)
- JL John Launchbury (co-editor) \<john at galois.com\>
- MC Manuel M T Chakravarty \<chak at cse.unsw.edu.au\>
- JG John Goerzen \<jgoerzen at complete.org\>
- BH Bastiaan Heeren \<bastiaan at cs.uu.nl\>
- AL Andres Loeh \<loeh at iai.uni-bonn.de\>
- SM Simon Marlow \<simonmar at microsoft.com\>
- JM John Meacham \<john at repetae.net\>
- RN Ravi Nanavati \<ravi at bluespec.com\>
- HN Henrik Nilsson \<nhn at cs.nott.ac.uk\>
- RP Ross Paterson \<ross at soi.city.ac.uk\>
- SPJ Simon Peyton-Jones \<simonpj at microsoft.com\>
- DS Don Stewart \<dons at cse.unsw.edu.au\>
- AT Audrey Tang \<autrijus at gmail.com\>
- SJT Simon J. Thompson \<S.J.Thompson at kent.ac.uk\>
- MW Malcolm Wallace \<Malcolm.Wallace at cs.york.ac.uk\>
- SW Stephanie Weirich \<sweirich at cis.upenn.edu\>