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
View page @ d976a491
# Straw Poll 2 # 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. Haskell' Committee: Here is a form to record your current opinion on all proposals.
## About this Poll ## About this Poll
This vote is designed to tease out the "definitely in" proposals, and This vote is designed to tease out the "definitely in" proposals, and
to identify authors of their sections, so that we can make more to identify authors of their sections, so that we can make more
concrete progress on the language. concrete progress on the language.
The deadline for this poll is Friday, August 18 but please try to get in your votes as early as possible so that we can have a discussion about its impact.
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 I've left the previous vote intact, and made them the relatively
...@@ -20,8 +32,10 @@ neutral votes, so you can leave them as-is, or you can change them to ...@@ -20,8 +32,10 @@ neutral votes, so you can leave them as-is, or you can change them to
Reject". You can also indicate that you'd be willing to write the 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. section on this proposal for the report by voting "AW" for instance.
## How to Vote ## How to Vote
- Rate each proposal as - Rate each proposal as
- A - Accept - This proposal should definitely be Accepted - A - Accept - This proposal should definitely be Accepted
...@@ -29,22 +43,24 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -29,22 +43,24 @@ section on this proposal for the report by voting "AW" for instance.
- N - No - I tend towards rejecting this proposal - N - No - I tend towards rejecting this proposal
- R - Reject - This proposal should definitely be Rejected. - R - Reject - This proposal should definitely be Rejected.
- blank - I am ambivalent, undecided, or haven't considered it properly in detail. - 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. RW would mean that, although you don't believe it should go in, if the proposal did go in, you could help write it since you understand it so well.) - 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. - 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)
- V - I'm on vacation and can't vote - 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. - '\*' - We should do something here, but not necessarily what is proposed.
- Add your ratings to the column of the table headed with your initials. - Add your ratings to the column of the table headed with your initials.
- In order to reduce problems of multiple people editing: - In order to reduce problems of multiple people editing:
- Do the easy ones first (and quickly), and hit 'save' - Do the easy ones first (and quickly), and hit 'save'
- Then do the harder ones one at a time, and save in-between each. - 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. - Your answers to [StrawPoll-1](straw-poll-1) are the default values. You might want to double-check them.
- "I have completed voting" is here 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. - 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 ## The Vote
<table><tr><th> IJ </th> <table><tr><th> IJ </th>
<th> JL </th> <th> JL </th>
<th> MC </th> <th> MC </th>
...@@ -66,1553 +82,1506 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -66,1553 +82,1506 @@ section on this proposal for the report by voting "AW" for instance.
<th> Ticket </th> <th> Ticket </th>
<th> Description <th> Description
</th></tr> </th></tr>
<tr><th> x </th> <tr><th> </th>
<th> V </th> <th> </th>
<th> x </th> <th> </th>
<th> x </th> <th> </th>
<th> x </th> <th> </th>
<th> x </th> <th> </th>
<th> x </th> <th> </th>
<th> x </th> <th> </th>
<th> x </th> <th> </th>
<th> x </th> <th> </th>
<th> x </th> <th> </th>
<th> x </th> <th> </th>
<th> x </th> <th> </th>
<th>x </th> <th> </th>
<th> x </th> <th> </th>
<th> x </th> <th> </th>
<th> x </th> <th> </th>
<th> x </th> <th> </th>
<th> - </th> <th> - </th>
<th> I have completed voting. <th> I have completed voting.
</th></tr> </th></tr>
<tr><th> AW </th> <tr><th> Y </th>
<th> Y </th> <th> Y </th>
<th> A </th>
<th> A </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> AW </th> <th> </th>
<th> M </th> <th> </th>
<th> A </th> <th> Y </th>
<th> YM </th>
<th> M </th> <th> M </th>
<th> Y </th>
<th> Y </th>
<th> </th>
<th> Y </th> <th> Y </th>
<th> A </th>
<th> Y </th> <th> Y </th>
<th> A </th> <th> </th>
<th> M </th> <th> Y </th>
<th> Y\* </th> <th> M </th>
<th> Y </th> <th> M </th>
<th>[\#74](https://gitlab.haskell.org//haskell/prime/issues/74)</th> <th> Y </th>
<th> [\#74](https://gitlab.haskell.org//haskell/prime/issues/74) </th>
<th> add some kind of concurrency <th> add some kind of concurrency
</th></tr> </th></tr>
<tr><th> A </th> <tr><th> Y </th>
<th> Y </th> <th> Y </th>
<th> AW </th> <th> Y </th>
<th> A </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> A </th>
<th> AW </th>
<th> Y </th> <th> Y </th>
<th> A </th>
<th> A </th>
<th> A </th>
<th> Y </th> <th> Y </th>
<th> A </th>
<th> Y </th>
<th> A </th>
<th> A </th>
<th> A </th>
<th> A </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> Y </th> <th> Y </th>
<th></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> M </th>
<th> </th>
<th> </th>
<th> M </th> <th> M </th>
<th> </th>
<th> </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> A </th> <th> </th>
<th> A </th>
<th> M </th>
<th> Y </th> <th> Y </th>
<th> </th>
<th> </th>
<th> Y </th> <th> Y </th>
<th> YW </th> <th> Y </th>
<th> A </th> <th> M </th>
<th> Y </th>
<th> Y\* </th>
<th> YM </th> <th> YM </th>
<th>[\#49](https://gitlab.haskell.org//haskell/prime/issues/49)</th> <th> [\#49](https://gitlab.haskell.org//haskell/prime/issues/49) </th>
<th> add multi parameter type classes <th> add multi parameter type classes
</th></tr> </th></tr>
<tr><th></th> <tr><th> </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> Y </th> <th> Y </th>
<th></th>
<th> A </th>
<th> YW </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> A </th>
<th> A </th>
<th> YM </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> </th>
<th> Y </th> <th> Y </th>
<th> A </th> <th> Y </th>
<th> A </th> <th> </th>
<th> A </th> <th> Y </th>
<th> A </th> <th> [\#60](https://gitlab.haskell.org//haskell/prime/issues/60) </th>
<th>[\#60](https://gitlab.haskell.org//haskell/prime/issues/60)</th>
<th> add RankNTypes or Rank2Types <th> add RankNTypes or Rank2Types
</th></tr> </th></tr>
<tr><th></th> <tr><th> </th>
<th> M </th> <th> M </th>
<th> Y </th>
<th> </th>
<th> Y </th>
<th> Y </th> <th> Y </th>
<th></th>
<th> A </th>
<th> YW </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> </th>
<th> Y </th> <th> Y </th>
<th> A </th>
<th> A </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> A </th> <th> Y </th>
<th></th> <th> </th>
<th> A </th> <th> Y </th>
<th>[\#57](https://gitlab.haskell.org//haskell/prime/issues/57)</th> <th> [\#57](https://gitlab.haskell.org//haskell/prime/issues/57) </th>
<th> add polymorphic components <th> add polymorphic components
</th></tr> </th></tr>
<tr><th> A </th> <tr><th> Y </th>
<th> M </th> <th> M </th>
<th> A </th> <th> Y </th>
<th> A </th> <th> Y </th>
<th> A </th>
<th> AW </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> A </th> <th> Y </th>
<th> A </th> <th> </th>
<th> Y </th>
<th> Y </th>
<th> Y </th> <th> Y </th>
<th> A </th> <th> Y </th>
<th> YW </th> <th> </th>
<th> A </th> <th> Y </th>
<th> AW </th> <th> Y </th>
<th> A </th> <th> Y </th>
<th> A </th> <th> Y </th>
<th>[\#26](https://gitlab.haskell.org//haskell/prime/issues/26)</th> <th> [\#26](https://gitlab.haskell.org//haskell/prime/issues/26) </th>
<th> add [ExistentialQuantification](existential-quantification) (existential components) <th> add [ExistentialQuantification](existential-quantification) (existential components)
</th></tr> </th></tr>
<tr><th></th> <tr><th> </th>
<th></th> <th> </th>
<th> M </th> <th> M </th>
<th></th> <th> </th>
<th> M </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> A </th>
<th> Y\* </th>
<th> Y </th> <th> Y </th>
<th></th> <th> Y </th>
<th> M </th> <th> </th>
<th> YW </th> <th> </th>
<th> A </th> <th> </th>
<th> M </th> <th> </th>
<th></th> <th> M </th>
<th> </th>
<th> N </th> <th> N </th>
<th>[\#85](https://gitlab.haskell.org//haskell/prime/issues/85)</th> <th> [\#85](https://gitlab.haskell.org//haskell/prime/issues/85) </th>
<th> more liberal kind inference <th> more liberal kind inference
</th></tr> </th></tr>
<tr><th> M </th> <tr><th> M </th>
<th></th> <th> </th>
<th> </th>
<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> Y </th>
<th> YM </th> <th> </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> Y </th> <th> Y </th>
<th> </th>
<th> Y </th> <th> Y </th>
<th> A </th>
<th> AW </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> A </th>
<th></th>
<th> A </th>
<th> Y </th> <th> Y </th>
<th> A </th>
<th> Y </th> <th> Y </th>
<th> A </th>
<th> AW </th>
<th> A </th>
<th> Y </th>
<th> Y </th> <th> Y </th>
<th> YW </th>
<th> Y </th> <th> Y </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th>[\#65](https://gitlab.haskell.org//haskell/prime/issues/65)</th>
<th>[RelaxedDependencyAnalysis](relaxed-dependency-analysis)</th></tr>
<tr><th> Y\* </th>
<th> N </th>
<th> A </th>
<th></th>
<th></th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> N </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> </th>
<th> Y </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> Y </th>
<th> Y </th> <th> </th>
<th> </th>
<th> Y </th> <th> Y </th>
<th></th> <th> </th>
<th> N </th>
<th> </th>
<th> Y </th> <th> Y </th>
<th></th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th></th> <th> </th>
<th>[\#39](https://gitlab.haskell.org//haskell/prime/issues/39)</th> <th> </th>
<th> add [ImpreciseExceptions](imprecise-exceptions)</th></tr> <th> </th>
<tr><th> Y\* </th> <th> </th>
<th> N </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>Y(3)</th> <th>Y(3)</th>
<th> </th>
<th> </th>
<th> Y </th> <th> Y </th>
<th></th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th>A(3)</th>
<th> M </th> <th> M </th>
<th></th> <th> </th>
<th></th> <th> </th>
<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> Y(3) </th> <th> Y(3) </th>
<th>[\#29](https://gitlab.haskell.org//haskell/prime/issues/29)</th> <th> [\#29](https://gitlab.haskell.org//haskell/prime/issues/29) </th>
<th> add [ExtensibleExceptions](extensible-exceptions)</th></tr> <th> add [ExtensibleExceptions](extensible-exceptions)
<tr><th> AW </th> </th></tr>
<th> Y </th> <tr><th> Y </th>
<th> A </th>
<th> A </th>
<th> AW </th>
<th> A </th>
<th> A </th>
<th> Y </th>
<th> A </th>
<th> A </th>
<th> A </th>
<th> Y </th> <th> Y </th>
<th> A </th>
<th> Y </th> <th> Y </th>
<th> A </th>
<th> A </th>
<th> A </th>
<th> A </th>
<th>[\#24](https://gitlab.haskell.org//haskell/prime/issues/24)</th>
<th> add [HierarchicalModules](hierarchical-modules)</th></tr>
<tr><th> AW </th>
<th></th>
<th> Y </th> <th> Y </th>
<th> AW </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> N </th>
<th></th>
<th> A </th>
<th></th>
<th> A\* </th>
<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></th> <th> Y </th>
<th></th> <th> </th>
<th>[\#89](https://gitlab.haskell.org//haskell/prime/issues/89)</th> <th> Y </th>
<th> standardize the System.FilePath module <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> </th></tr>
<tr><th></th> <tr><th> Y </th>
<th></th> <th> </th>
<th> Y </th> <th> Y </th>
<th></th>
<th></th>
<th> Y </th> <th> Y </th>
<th> AW </th>
<th> Y </th> <th> Y </th>
<th> A </th>
<th> Y </th> <th> Y </th>
<th> YM </th>
<th></th>
<th> Y </th> <th> Y </th>
<th></th> <th> </th>
<th> Y </th>
<th> </th>
<th> Y </th> <th> Y </th>
<th> A </th> <th> </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> Y </th>
<th>[\#53](https://gitlab.haskell.org//haskell/prime/issues/53)</th> <th> [\#53](https://gitlab.haskell.org//haskell/prime/issues/53) </th>
<th> Nondecreasing Indentation <th> Nondecreasing Indentation
</th></tr> </th></tr>
<tr><th> A </th> <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></th>
<th>AW </th>
<th> A </th>
<th> A </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> AW </th>
<th></th>
<th> Y </th>
<th> A </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> </th>
<th> Y </th> <th> Y </th>
<th> A </th>
<th> A </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> Y </th>
<th></th> <th> </th>
<th> </th>
<th> Y </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> Y </th>
<th> AW </th> <th> </th>
<th> </th>
<th> Y </th> <th> Y </th>
<th> A </th> <th> </th>
<th> AW </th>
<th> A </th>
<th></th>
<th> Y </th> <th> Y </th>
<th></th> <th> Y </th>
<th> A </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> A </th> <th> </th>
<th> A </th> <th> Y </th>
<th>[\#23](https://gitlab.haskell.org//haskell/prime/issues/23)</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> fix common pitfall with the do-notation and if-then-else
</th></tr> </th></tr>
<tr><th> Y </th> <tr><th> Y </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> AW </th>
<th> Y </th> <th> Y </th>
<th> </th>
<th> </th>
<th> Y </th> <th> Y </th>
<th> N </th> <th> Y\* </th>
<th> Y\* </th> <th> Y\* </th>
<th>A(1)</th> <th> M </th>
<th> YM </th> <th> Y </th>
<th> A\* </th>
<th> Y </th> <th> Y </th>
<th> AW </th> <th> Y </th>
<th></th> <th> </th>
<th>A(1)</th> <th>Y(1)</th>
<th></th> <th> </th>
<th> A\*</th> <th> Y </th>
<th></th> <th> </th>
<th>[\#15](https://gitlab.haskell.org//haskell/prime/issues/15)</th> <th> [\#15](https://gitlab.haskell.org//haskell/prime/issues/15) </th>
<th> add a binary IO interface <th> add a binary IO interface
</th></tr> </th></tr>
<tr><th></th> <tr><th> </th>
<th></th> <th> </th>
<th> Y </th> <th> Y </th>
<th></th> <th> </th>
<th> A </th>
<th> Y </th>
<th> AW </th>
<th> Y </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th></th> <th> </th>
<th></th> <th> Y </th>
<th> </th>
<th> Y </th> <th> Y </th>
<th></th> <th> </th>
<th> </th>
<th> Y </th> <th> Y </th>
<th></th> <th> </th>
<th> Y </th> <th> </th>
<th></th> <th> </th>
<th>[\#59](https://gitlab.haskell.org//haskell/prime/issues/59)</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> Fix the lexical syntax for qualified identifiers
</th></tr> </th></tr>
<tr><th></th> <tr><th> </th>
<th></th> <th> </th>
<th> Y </th> <th> Y </th>
<th></th> <th> </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> AW </th>
<th> Y </th>
<th> Y </th>
<th> A </th>
<th> Y </th> <th> Y </th>
<th></th> <th> Y </th>
<th> </th>
<th> Y </th> <th> Y </th>
<th></th>
<th> Y </th> <th> Y </th>
<th></th> <th> </th>
<th> Y </th>
<th> </th>
<th> </th>
<th> </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th>[\#42](https://gitlab.haskell.org//haskell/prime/issues/42)</th> <th> [\#42](https://gitlab.haskell.org//haskell/prime/issues/42) </th>
<th> fix comment syntax grammar <th> fix comment syntax grammar
</th></tr> </th></tr>
<tr><th></th> <tr><th> </th>
<th></th> <th> </th>
<th> Y </th>
<th></th>
<th></th>
<th> M </th>
<th></th>
<th> M </th>
<th> Y </th>
<th> Y </th> <th> Y </th>
<th> </th>
<th> </th>
<th> M </th> <th> M </th>
<th> Y </th> <th> </th>
<th></th> <th> </th>
<th> Y </th>
<th> Y </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> M </th> <th> M </th>
<th> Y </th> <th> Y </th>
<th></th> <th> </th>
<th> M </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></th> <th> </th>
<th></th> <th> </th>
<th>[\#31](https://gitlab.haskell.org//haskell/prime/issues/31)</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> add Flexible Contexts
</th></tr> </th></tr>
<tr><th> Y </th> <tr><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> A </th>
<th> Y </th> <th> Y </th>
<th> A </th>
<th> Y </th> <th> Y </th>
<th> AW </th>
<th> Y </th> <th> Y </th>
<th></th> <th> Y </th>
<th> </th>
<th> Y </th> <th> Y </th>
<th> AW </th> <th> Y </th>
<th></th> <th> </th>
<th> A </th> <th> Y </th>
<th></th> <th> </th>
<th> Y </th>
<th> Y </th> <th> Y </th>
<th> A </th> <th> [\#56](https://gitlab.haskell.org//haskell/prime/issues/56) </th>
<th>[\#56](https://gitlab.haskell.org//haskell/prime/issues/56)</th>
<th> add Pattern Guards <th> add Pattern Guards
</th></tr> </th></tr>
<tr><th> M </th> <tr><th> M </th>
<th> M </th> <th> M </th>
<th> Y </th> <th> Y </th>
<th></th> <th> </th>
<th> </th>
<th> </th>
<th> </th>
<th> M </th> <th> M </th>
<th></th>
<th> M </th>
<th> MW </th>
<th> AW </th>
<th> Y </th> <th> Y </th>
<th></th> <th> Y </th>
<th> </th>
<th> Y </th> <th> Y </th>
<th> A </th>
<th></th>
<th> A </th>
<th></th>
<th></th>
<th> Y </th> <th> Y </th>
<th>[\#51](https://gitlab.haskell.org//haskell/prime/issues/51)</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> add new pragmas
</th></tr> </th></tr>
<tr><th></th> <tr><th> </th>
<th> N </th> <th> N </th>
<th> M </th>
<th></th>
<th> R </th>
<th></th>
<th> N </th>
<th> M </th> <th> M </th>
<th> </th>
<th> </th>
<th> </th>
<th> N </th> <th> N </th>
<th> R </th> <th> </th>
<th></th> <th> </th>
<th></th>
<th> R </th>
<th></th>
<th> N </th> <th> N </th>
<th> R </th> <th> </th>
<th> AW </th> <th> </th>
<th> </th>
<th> </th>
<th> </th>
<th> M </th>
<th> Y </th>
<th> M </th> <th> M </th>
<th>[\#79](https://gitlab.haskell.org//haskell/prime/issues/79)</th> <th> [\#79](https://gitlab.haskell.org//haskell/prime/issues/79) </th>
<th> Natural numbers <th> Natural numbers
</th></tr> </th></tr>
<tr><th> Y </th> <tr><th> Y </th>
<th></th> <th> </th>
<th></th> <th> </th>
<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> YW </th> <th> </th>
<th> Y </th> <th> Y </th>
<th> N </th> <th> N </th>
<th></th> <th> </th>
<th> Y </th> <th> Y </th>
<th></th> <th> </th>
<th> Y </th> <th>Y </th>
<th></th> <th> </th>
<th> A </th>
<th> Y </th> <th> Y </th>
<th>[\#72](https://gitlab.haskell.org//haskell/prime/issues/72)</th> <th> Y </th>
<th> [\#72](https://gitlab.haskell.org//haskell/prime/issues/72) </th>
<th> Make underscore 'caseless' <th> Make underscore 'caseless'
</th></tr> </th></tr>
<tr><th> N </th> <tr><th> N </th>
<th> Y </th> <th> Y </th>
<th> N </th> <th> N </th>
<th> R </th> <th> </th>
<th> R </th> <th> N </th>
<th> R </th> <th> N </th>
<th> R </th> <th> N </th>
<th> N </th> <th> N </th>
<th> R </th> <th> N </th>
<th> R </th> <th> N </th>
<th> R </th> <th> N </th>
<th></th> <th> </th>
<th> R </th> <th> N </th>
<th></th> <th> </th>
<th> R </th> <th> N </th>
<th> N </th> <th> N </th>
<th> R </th>
<th> N </th> <th> N </th>
<th>[\#20](https://gitlab.haskell.org//haskell/prime/issues/20)</th> <th> N </th>
<th> [\#20](https://gitlab.haskell.org//haskell/prime/issues/20) </th>
<th> Eliminate . as an operator <th> Eliminate . as an operator
</th></tr> </th></tr>
<tr><th> Y\* </th> <tr><th> Y\* </th>
<th></th> <th> </th>
<th> Y </th> <th> Y </th>
<th></th> <th> </th>
<th> A </th>
<th> Y </th> <th> Y </th>
<th> M </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> M </th>
<th> Y\* </th>
<th></th>
<th> M </th>
<th></th>
<th> Y </th> <th> Y </th>
<th></th> <th> </th>
<th> AW</th> <th> </th>
<th></th> <th> Y </th>
<th>[\#61](https://gitlab.haskell.org//haskell/prime/issues/61)</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> replace the Read class
</th></tr> </th></tr>
<tr><th></th> <tr><th> </th>
<th> M </th> <th> M </th>
<th> Y </th> <th> Y </th>
<th></th> <th> </th>
<th></th> <th> </th>
<th></th> <th> </th>
<th> Y </th> <th> Y </th>
<th> N </th> <th> </th>
<th></th> <th> </th>
<th> M </th> <th> M </th>
<th></th> <th> </th>
<th></th> <th> </th>
<th></th> <th> </th>
<th></th> <th> </th>
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> R </th> <th> N </th>
<th></th> <th> </th>
<th>[\#96](https://gitlab.haskell.org//haskell/prime/issues/96)</th> <th> [\#96](https://gitlab.haskell.org//haskell/prime/issues/96) </th>
<th> Replace the array indexing operator, '!' <th> Replace the array indexing operator, '!'
</th></tr> </th></tr>
<tr><th></th> <tr><th> </th>
<th></th> <th> </th>
<th>N&Y </th> <th>N&Y </th>
<th></th> <th> </th>
<th>Y\* </th> <th> M </th>
<th> Y </th> <th> Y </th>
<th> Y\* </th> <th> Y\* </th>
<th> YW\* </th> <th> Y\* </th>
<th> Y </th> <th> </th>
<th> YM </th> <th> Y\* </th>
<th> N </th> <th> N </th>
<th> Y </th> <th> Y </th>
<th></th> <th> </th>
<th></th> <th> </th>
<th>N,Y </th> <th> </th>
<th> M </th> <th> M </th>
<th></th> <th> </th>
<th></th> <th> </th>
<th>[\#95](https://gitlab.haskell.org//haskell/prime/issues/95)</th> <th> [\#95](https://gitlab.haskell.org//haskell/prime/issues/95) </th>
<th> improve module interfaces <th> improve module interfaces
</th></tr> </th></tr>
<tr><th></th> <tr><th> </th>
<th></th> <th> </th>
<th> N </th> <th> N </th>
<th></th> <th> </th>
<th> R </th> <th> N </th>
<th></th> <th> </th>
<th> Y </th> <th> Y </th>
<th> N </th> <th> N </th>
<th> N </th> <th> Y </th>
<th> Y\*M</th> <th> M </th>
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th></th> <th> </th>
<th> N </th> <th> </th>
<th> N </th> <th> </th>
<th></th> <th> </th>
<th></th> <th> </th>
<th> N </th> <th> N </th>
<th>[\#86](https://gitlab.haskell.org//haskell/prime/issues/86)</th> <th> [\#86](https://gitlab.haskell.org//haskell/prime/issues/86) </th>
<th> add [PartialTypeAnnotations](partial-type-annotations)? <th> add [PartialTypeAnnotations](partial-type-annotations)?
</th></tr> </th></tr>
<tr><th> Y\* </th> <tr><th> Y\* </th>
<th> Y </th> <th> Y </th>
<th> Y </th>
<th></th>
<th> Y\* </th>
<th></th>
<th></th>
<th> Y </th> <th> Y </th>
<th> </th>
<th> </th>
<th> </th>
<th> </th>
<th> Y </th> <th> Y </th>
<th> YM </th> <th> </th>
<th> M </th>
<th> N </th> <th> N </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> </th>
<th></th> <th> </th>
<th> Y </th> <th> </th>
<th></th> <th> </th>
<th> N </th> <th> </th>
<th></th> <th> </th>
<th>[\#76](https://gitlab.haskell.org//haskell/prime/issues/76)</th> <th> [\#76](https://gitlab.haskell.org//haskell/prime/issues/76) </th>
<th> Bang patterns <th> Bang patterns
</th></tr> </th></tr>
<tr><th></th> <tr><th> </th>
<th></th> <th> </th>
<th> YM </th> <th> Y </th>
<th></th> <th> </th>
<th> M </th> <th> </th>
<th> M </th> <th> </th>
<th> Y\* </th> <th> Y\* </th>
<th> YM </th> <th> YM </th>
<th> Y </th> <th> Y </th>
<th> AM </th>
<th> Y\* </th> <th> Y\* </th>
<th> </th>
<th> YM </th> <th> YM </th>
<th> Y </th> <th> </th>
<th>YW\* </th> <th> </th>
<th> Y\* </th> <th> </th>
<th> M </th> <th> M </th>
<th> Y </th> <th> </th>
<th> Y\* </th> <th> YM </th>
<th>[\#67](https://gitlab.haskell.org//haskell/prime/issues/67)</th> <th> [\#67](https://gitlab.haskell.org//haskell/prime/issues/67) </th>
<th> add Scoped Type Variables <th> add Scoped Type Variables
</th></tr> </th></tr>
<tr><th> N </th> <tr><th> N </th>
<th></th> <th> </th>
<th> N </th> <th> N </th>
<th></th> <th> </th>
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> Y\* </th> <th> Y\* </th>
<th> Y\* </th> <th> Y\* </th>
<th> N </th> <th> Y </th>
<th> R </th>
<th> N </th> <th> N </th>
<th></th>
<th> N </th> <th> N </th>
<th></th> <th> </th>
<th> N </th> <th> N </th>
<th> N </th> <th> </th>
<th></th> <th> </th>
<th></th> <th> N </th>
<th>[\#62](https://gitlab.haskell.org//haskell/prime/issues/62)</th> <th> </th>
<th> allow data constructors to be exported and imported readonly <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> </th></tr>
<tr><th> Y\* </th> <tr><th> Y\* </th>
<th> M </th> <th> M </th>
<th> M </th> <th> M </th>
<th></th> <th> </th>
<th> M </th> <th> </th>
<th></th> <th> </th>
<th> N </th> <th> N </th>
<th> M </th> <th> </th>
<th> Y </th> <th> Y </th>
<th> M </th> <th> </th>
<th> M </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> AW</th> <th> M </th>
<th></th> <th> </th>
<th>[\#58](https://gitlab.haskell.org//haskell/prime/issues/58)</th> <th> [\#58](https://gitlab.haskell.org//haskell/prime/issues/58) </th>
<th> prelude re-organisation proposal <th> prelude re-organisation proposal
</th></tr> </th></tr>
<tr><th></th> <tr><th> </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th></th> <th> </th>
<th> R </th> <th> N </th>
<th> N </th>
<th> N </th> <th> N </th>
<th> R </th>
<th> Y </th> <th> Y </th>
<th></th> <th> </th>
<th> R </th> <th> N </th>
<th> R </th> <th> N </th>
<th> N </th> <th> N </th>
<th> </th>
<th> </th>
<th> Y </th> <th> Y </th>
<th></th> <th> N </th>
<th> Y </th> <th> N </th>
<th> N </th> <th> </th>
<th> R </th> <th> [\#55](https://gitlab.haskell.org//haskell/prime/issues/55) </th>
<th></th>
<th>[\#55](https://gitlab.haskell.org//haskell/prime/issues/55)</th>
<th> add Parallel List comprehensions <th> add Parallel List comprehensions
</th></tr> </th></tr>
<tr><th></th> <tr><th> </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th></th> <th> </th>
<th> Y </th> <th> </th>
<th> M </th> <th> M </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> YM </th> <th> Y </th>
<th> N </th> <th> N </th>
<th> Y </th> <th> Y </th>
<th> </th>
<th> </th>
<th> Y </th> <th> Y </th>
<th></th> <th> </th>
<th> A </th> <th> Y </th>
<th></th>
<th> A </th>
<th> Y </th> <th> Y </th>
<th>[\#52](https://gitlab.haskell.org//haskell/prime/issues/52)</th> <th> [\#52](https://gitlab.haskell.org//haskell/prime/issues/52) </th>
<th> Generalised deriving for newtype <th> Generalised deriving for newtype
</th></tr> </th></tr>
<tr><th> N </th> <tr><th> N </th>
<th> M </th> <th> M </th>
<th> N </th>
<th> </th>
<th> N </th>
<th> N </th>
<th> N </th> <th> N </th>
<th></th>
<th></th>
<th></th>
<th> Y </th>
<th> Y </th> <th> Y </th>
<th></th>
<th> M </th>
<th> N </th> <th> N </th>
<th> Y </th>
<th></th>
<th></th>
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> Y </th> <th> </th>
<th> Y </th> <th> N </th>
<th>[\#50](https://gitlab.haskell.org//haskell/prime/issues/50)</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> get rid of unary '-' operator
</th></tr> </th></tr>
<tr><th></th> <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> YW </th> <th> </th>
<th></th> <th> </th>
<th> M </th> <th> M </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>[\#48](https://gitlab.haskell.org//haskell/prime/issues/48)</th> <th> [\#48](https://gitlab.haskell.org//haskell/prime/issues/48) </th>
<th> clarify module system proposals <th> clarify module system proposals
</th></tr> </th></tr>
<tr><th></th> <tr><th> </th>
<th></th> <th> </th>
<th></th> <th> </th>
<th></th> <th> </th>
<th> R </th>
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> </th>
<th> N </th> <th> N </th>
<th> </th>
<th> N </th> <th> N </th>
<th> R </th>
<th> R </th>
<th></th>
<th> N </th> <th> N </th>
<th></th> <th> </th>
<th> R </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></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> R </th>
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th></th>
<th> N </th> <th> N </th>
<th> R </th> <th> </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></th> <th> </th>
<th>[\#41](https://gitlab.haskell.org//haskell/prime/issues/41)</th> <th> N </th>
<th> add [LambdaCase](lambda-case)</th></tr> <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> <tr><th> M </th>
<th> M </th> <th> M </th>
<th> N </th> <th> N </th>
<th></th> <th> </th>
<th></th> <th> </th>
<th></th> <th> </th>
<th> N </th> <th> N </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> R </th>
<th> N </th> <th> N </th>
<th></th>
<th></th>
<th> N </th> <th> N </th>
<th> Y </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> </th>
<th> add [ForeignData](foreign-data)</th></tr> <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> <tr><th> Y </th>
<th></th> <th> </th>
<th></th> <th> </th>
<th></th> <th> </th>
<th></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> Y\* </th> <th> </th>
<th></th> <th> </th>
<th></th> <th> </th>
<th></th> <th> </th>
<th> Y </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> [\#33](https://gitlab.haskell.org//haskell/prime/issues/33) </th>
<th> add Blockable <th> add Blockable
</th></tr> </th></tr>
<tr><th></th> <tr><th> </th>
<th></th> <th> </th>
<th> Y </th> <th> Y </th>
<th></th> <th> </th>
<th> Y </th> <th> </th>
<th></th> <th> </th>
<th> AW </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> A </th> <th> </th>
<th></th> <th> Y </th>
<th> </th>
<th> Y </th> <th> Y </th>
<th></th> <th> </th>
<th></th> <th> </th>
<th> A </th> <th> </th>
<th></th> <th> </th>
<th> Y </th> <th> </th>
<th></th> <th> </th>
<th>[\#30](https://gitlab.haskell.org//haskell/prime/issues/30)</th> <th> [\#30](https://gitlab.haskell.org//haskell/prime/issues/30) </th>
<th> remove operator fixity resolution from the context-free grammar <th> remove operator fixity resolution from the context-free grammar
</th></tr> </th></tr>
<tr><th></th> <tr><th> </th>
<th> M </th> <th> M </th>
<th> N </th> <th> N </th>
<th> R </th> <th> </th>
<th> N </th> <th> </th>
<th></th> <th> </th>
<th></th> <th> </th>
<th> Y </th> <th> Y </th>
<th></th> <th> </th>
<th> M </th> <th> </th>
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> N </th> <th> </th>
<th></th> <th> </th>
<th> N </th> <th> </th>
<th></th> <th> </th>
<th> N </th> <th> N </th>
<th></th> <th> </th>
<th>[\#28](https://gitlab.haskell.org//haskell/prime/issues/28)</th> <th> [\#28](https://gitlab.haskell.org//haskell/prime/issues/28) </th>
<th> Require explicit quantification on all expression bound type signatures <th> Require explicit quantification on all expression bound type signatures
</th></tr> </th></tr>
<tr><th></th> <tr><th> </th>
<th></th> <th> </th>
<th> Y </th> <th> Y </th>
<th></th> <th> </th>
<th> M\* </th> <th> </th>
<th> Y </th> <th> </th>
<th></th> <th> </th>
<th> M </th> <th> M </th>
<th> Y </th> <th> Y </th>
<th></th> <th> </th>
<th> M </th> <th> </th>
<th></th> <th> </th>
<th> Y </th> <th> </th>
<th></th> <th> </th>
<th> Y </th> <th> </th>
<th></th> <th> </th>
<th> Y </th> <th> Y </th>
<th></th> <th> </th>
<th>[\#21](https://gitlab.haskell.org//haskell/prime/issues/21)</th> <th> [\#21](https://gitlab.haskell.org//haskell/prime/issues/21) </th>
<th> improve defaulting rules <th> improve defaulting rules
</th></tr> </th></tr>
<tr><th></th> <tr><th> </th>
<th> N </th> <th> N </th>
<th> N </th>
<th></th>
<th> N </th> <th> N </th>
<th> </th>
<th> </th>
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> M </th> <th> M </th>
<th> </th>
<th> N </th> <th> N </th>
<th> R </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> </th>
<th></th> <th> </th>
<th></th> <th> </th>
<th> N </th> <th> N </th>
<th>[\#92](https://gitlab.haskell.org//haskell/prime/issues/92)</th> <th> [\#92](https://gitlab.haskell.org//haskell/prime/issues/92) </th>
<th> add First Class Labels <th> add First Class Labels
</th></tr> </th></tr>
<tr><th></th> <tr><th> </th>
<th> N </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> N </th>
<th></th> <th> </th>
<th> N </th> <th> N </th>
<th> R </th>
<th></th>
<th> R </th>
<th> Y </th> <th> Y </th>
<th> N </th> <th> N </th>
<th></th> <th> </th>
<th></th> <th> </th>
<th> N </th> <th> </th>
<th></th> <th> </th>
<th> Y </th> <th> Y </th>
<th></th> <th> </th>
<th>[\#99](https://gitlab.haskell.org//haskell/prime/issues/99)</th> <th> [\#99](https://gitlab.haskell.org//haskell/prime/issues/99) </th>
<th> Move existing named field (record) system to an addendum <th> Move existing named field (record) system to an addendum
</th></tr> </th></tr>
<tr><th></th> <tr><th> </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> N </th>
<th></th>
<th> R </th>
<th> R </th>
<th> N </th> <th> N </th>
<th> R </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> N </th>
<th> </th>
<th> </th>
<th> </th>
<th> </th>
<th> N </th> <th> N </th>
<th></th> <th> </th>
<th>[\#100](https://gitlab.haskell.org//haskell/prime/issues/100)</th> <th> [\#100](https://gitlab.haskell.org//haskell/prime/issues/100) </th>
<th> Replace named fields with an extensible record system <th> Replace named fields with an extensible record system
</th></tr> </th></tr>
<tr><th></th> <tr><th> </th>
<th> M </th>
<th> M </th>
<th></th>
<th> Y </th>
<th></th>
<th> M </th>
<th> Y </th>
<th> Y </th>
<th> NM </th>
<th> M </th>
<th> M </th> <th> M </th>
<th> M </th> <th> </th>
<th> Y </th> <th> </th>
<th> M </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> Y </th>
<th></th> <th> </th>
<th>[\#80](https://gitlab.haskell.org//haskell/prime/issues/80)</th> <th> [\#80](https://gitlab.haskell.org//haskell/prime/issues/80) </th>
<th> Reform the monomorphism restriction <th> Reform the monomorphism restriction
</th></tr> </th></tr>
<tr><th></th> <tr><th> </th>
<th> M </th> <th> M </th>
<th> Y </th> <th> Y </th>
<th></th> <th> </th>
<th> AW </th>
<th> AW</th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> A </th> <th> Y </th>
<th> A </th> <th> Y </th>
<th></th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> A </th> <th> </th>
<th></th>
<th> A </th>
<th> Y </th> <th> Y </th>
<th></th> <th> Y </th>
<th> A </th> <th> </th>
<th>[\#78](https://gitlab.haskell.org//haskell/prime/issues/78)</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> Add infix type constructors
</th></tr> </th></tr>
<tr><th> R </th> <tr><th> N </th>
<th></th> <th> </th>
<th> Y </th> <th> Y </th>
<th></th> <th> </th>
<th> R </th> <th> N </th>
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> Y </th> <th> Y </th>
<th> R </th> <th> N </th>
<th> N </th> <th> N </th>
<th> Y </th> <th> Y </th>
<th></th> <th> </th>
<th></th> <th> </th>
<th> Y </th> <th> </th>
<th> N </th> <th> </th>
<th> R </th> <th> N </th>
<th></th> <th> </th>
<th>[\#82](https://gitlab.haskell.org//haskell/prime/issues/82)</th> <th> [\#82](https://gitlab.haskell.org//haskell/prime/issues/82) </th>
<th> Allow import declarations anywhere at the top level <th> Allow import declarations anywhere at the top level
</th></tr> </th></tr>
<tr><th></th> <tr><th> </th>
<th></th> <th> </th>
<th> Y </th> <th> Y </th>
<th></th> <th> </th>
<th></th> <th> </th>
<th></th> <th> </th>
<th></th> <th> </th>
<th> Y </th> <th> Y </th>
<th> A </th>
<th> A </th>
<th> A </th>
<th> Y </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> A </th> <th> Y </th>
<th></th> <th> Y </th>
<th></th> <th> </th>
<th> </th>
<th> </th>
<th> </th>
<th> </th>
<th> Y </th> <th> Y </th>
<th>[\#81](https://gitlab.haskell.org//haskell/prime/issues/81)</th> <th> [\#81](https://gitlab.haskell.org//haskell/prime/issues/81) </th>
<th> scoping of type variables in class instances <th> scoping of type variables in class instances
</th></tr> </th></tr>
<tr><th> Y\* </th> <tr><th> Y\* </th>
<th></th> <th> </th>
<th> M </th> <th> M </th>
<th></th> <th> </th>
<th> </th>
<th> </th>
<th> M </th> <th> M </th>
<th></th>
<th> M </th>
<th> M </th>
<th></th>
<th> M </th> <th> M </th>
<th> </th>
<th> M </th> <th> M </th>
<th> </th>
<th> M </th> <th> M </th>
<th></th> <th> </th>
<th></th> <th> </th>
<th> Y\* </th> <th> </th>
<th></th> <th> </th>
<th> M </th> <th> </th>
<th> M </th> <th> M </th>
<th>[\#88](https://gitlab.haskell.org//haskell/prime/issues/88)</th> <th> [\#88](https://gitlab.haskell.org//haskell/prime/issues/88) </th>
<th> unified and extensible annotations <th> unified and extensible annotations
</th></tr> </th></tr>
<tr><th></th> <tr><th> </th>
<th></th> <th> </th>
<th> N </th> <th> N </th>
<th></th> <th> </th>
<th> M </th> <th> M </th>
<th> </th>
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> R </th> <th> </th>
<th> N </th>
<th> M </th> <th> M </th>
<th> N </th> <th> N </th>
<th> N </th> <th> </th>
<th></th> <th> </th>
<th></th> <th> </th>
<th> R </th> <th> </th>
<th> M </th> <th> M </th>
<th> R </th> <th> N </th>
<th> N </th> <th> N </th>
<th>[\#19](https://gitlab.haskell.org//haskell/prime/issues/19)</th> <th> [\#19](https://gitlab.haskell.org//haskell/prime/issues/19) </th>
<th> control export and import of class instances <th> control export and import of class instances
</th></tr> </th></tr>
<tr><th></th> <tr><th> </th>
<th></th> <th> </th>
<th> Y </th> <th> Y </th>
<th></th> <th> </th>
<th> Y </th> <th> </th>
<th></th> <th> </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> N </th> <th> </th>
<th> Y </th> <th> Y </th>
<th></th> <th> </th>
<th> Y </th> <th> Y </th>
<th></th> <th> </th>
<th></th> <th> </th>
<th> Y </th> <th> </th>
<th></th> <th> </th>
<th></th> <th> </th>
<th> Y </th> <th> Y </th>
<th>[\#17](https://gitlab.haskell.org//haskell/prime/issues/17)</th> <th> [\#17](https://gitlab.haskell.org//haskell/prime/issues/17) </th>
<th> relax restriction on signatures of class methods <th> relax restriction on signatures of class methods
</th></tr> </th></tr>
<tr><th> Y\* </th> <tr><th> Y\* </th>
<th></th> <th> </th>
<th> N </th> <th> N </th>
<th></th> <th> </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> N </th> <th> N </th>
<th> N </th> <th> </th>
<th> Y </th> <th> Y </th>
<th> R </th>
<th> N </th> <th> N </th>
<th></th> <th> N </th>
<th> Y </th> <th> </th>
<th></th> <th> </th>
<th> Y\* </th> <th> </th>
<th> Y </th> <th> </th>
<th></th> <th> Y </th>
<th> </th>
<th> Y </th> <th> Y </th>
<th>[\#68](https://gitlab.haskell.org//haskell/prime/issues/68)</th> <th> [\#68](https://gitlab.haskell.org//haskell/prime/issues/68) </th>
<th> Eliminate tabs <th> Eliminate tabs
</th></tr> </th></tr>
<tr><th></th> <tr><th> </th>
<th> N </th> <th> N </th>
<th> Y </th> <th> Y </th>
<th></th> <th> </th>
<th></th> <th> N </th>
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> YM </th> <th> Y </th>
<th> R </th> <th> N </th>
<th></th> <th> </th>
<th></th> <th> </th>
<th></th> <th> </th>
<th> N </th> <th> </th>
<th></th> <th> </th>
<th> R </th> <th> N </th>
<th></th> <th> </th>
<th>[\#64](https://gitlab.haskell.org//haskell/prime/issues/64)</th> <th> [\#64](https://gitlab.haskell.org//haskell/prime/issues/64) </th>
<th> add recursive do syntax <th> add recursive do syntax
</th></tr> </th></tr>
<tr><th></th> <tr><th> </th>
<th> M </th> <th> M </th>
<th> M </th> <th> M </th>
<th></th> <th> </th>
<th></th> <th> </th>
<th> Y </th> <th> Y </th>
<th> N </th> <th> N </th>
<th> NM </th> <th> N\* </th>
<th> N </th> <th> N </th>
<th> YM </th> <th> Y </th>
<th> N </th> <th> N </th>
<th> Y </th> <th> Y </th>
<th> </th>
<th> </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> </th>
<th> Y </th>
<th></th>
<th> N </th> <th> N </th>
<th></th> <th> </th>
<th>[\#37](https://gitlab.haskell.org//haskell/prime/issues/37)</th> <th> [\#37](https://gitlab.haskell.org//haskell/prime/issues/37) </th>
<th> add GADTs <th> add GADTs
</th></tr> </th></tr>
<tr><th></th> <tr><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> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> Y </th> <th> Y </th>
<th> Y\* </th> <th> Y\* </th>
<th> R </th> <th> N </th>
<th> M </th> <th> M </th>
<th> N </th> <th> N </th>
<th></th> <th> </th>
<th> R </th> <th> </th>
<th> Y </th> <th> Y </th>
<th> R </th> <th> N </th>
<th> M </th> <th> M </th>
<th>[\#73](https://gitlab.haskell.org//haskell/prime/issues/73)</th> <th> [\#73](https://gitlab.haskell.org//haskell/prime/issues/73) </th>
<th> add views <th> add views
</th></tr> </th></tr>
<tr><th></th> <tr><th> </th>
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> Y </th> <th> Y </th>
<th></th> <th> </th>
<th> M </th> <th> M </th>
<th></th> <th> </th>
<th> M </th> <th> </th>
<th> R </th>
<th> R </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> N </th>
<th> </th>
<th> </th>
<th> </th>
<th> </th>
<th> N </th> <th> N </th>
<th></th> <th> </th>
<th>[\#71](https://gitlab.haskell.org//haskell/prime/issues/71)</th> <th> [\#71](https://gitlab.haskell.org//haskell/prime/issues/71) </th>
<th> Allow Undecidable Instances <th> Allow Undecidable Instances
</th></tr> </th></tr>
<tr><th></th> <tr><th> </th>
<th> N </th>
<th> N </th>
<th> </th>
<th> </th>
<th> </th>
<th> </th>
<th> N </th> <th> N </th>
<th> Y\* </th>
<th></th>
<th> R </th>
<th></th>
<th></th>
<th> N </th> <th> N </th>
<th> R </th>
<th> M </th> <th> M </th>
<th> R </th> <th> N </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> </th>
<th> Y\* </th> <th> </th>
<th> Y </th> <th> </th>
<th></th> <th> </th>
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th>[\#54](https://gitlab.haskell.org//haskell/prime/issues/54)</th> <th> [\#54](https://gitlab.haskell.org//haskell/prime/issues/54) </th>
<th> add overlapping or incoherent instances <th> add overlapping or incoherent instances
</th></tr> </th></tr>
<tr><th> N </th> <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></th>
<th> R </th>
<th> R </th>
<th> R </th>
<th> N </th> <th> N </th>
<th> R </th>
<th> R </th>
<th> R </th>
<th> N </th> <th> N </th>
<th> R </th>
<th></th>
<th> N </th> <th> N </th>
<th></th> <th> </th>
<th> R </th> <th> N </th>
<th> </th>
<th> N </th> <th> N </th>
<th>[\#43](https://gitlab.haskell.org//haskell/prime/issues/43)</th> <th> N </th>
<th> [\#43](https://gitlab.haskell.org//haskell/prime/issues/43) </th>
<th> add Linear implicit params <th> add Linear implicit params
</th></tr> </th></tr>
<tr><th> M </th> <tr><th> M </th>
<th> M </th> <th> M </th>
<th> N </th> <th> N </th>
<th></th> <th> </th>
<th> M </th> <th> </th>
<th> M </th> <th> N </th>
<th></th> <th> N </th>
<th> M </th> <th> </th>
<th> Y </th> <th> Y </th>
<th> M </th> <th> Y </th>
<th> M </th> <th> </th>
<th> M </th>
<th> M </th>
<th> YW </th>
<th> M </th>
<th> M </th> <th> M </th>
<th> N </th>
<th> </th>
<th> </th>
<th> M </th>
<th> M </th> <th> M </th>
<th> YM </th> <th> YM </th>
<th>[\#36](https://gitlab.haskell.org//haskell/prime/issues/36)</th> <th> [\#36](https://gitlab.haskell.org//haskell/prime/issues/36) </th>
<th> add [FunctionalDependencies](functional-dependencies)</th></tr> <th> add [FunctionalDependencies](functional-dependencies)
</th></tr>
<tr><th> Y </th> <tr><th> Y </th>
<th> N </th> <th> N </th>
<th> Y </th> <th> Y </th>
<th></th> <th> </th>
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> Y </th> <th> Y </th>
<th></th> <th> </th>
<th> R </th> <th> N </th>
<th> N </th> <th> N </th>
<th> Y </th> <th> Y </th>
<th></th> <th> </th>
<th></th> <th> </th>
<th> Y </th> <th> </th>
<th> N </th> <th> N </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th>[\#77](https://gitlab.haskell.org//haskell/prime/issues/77)</th> <th> [\#77](https://gitlab.haskell.org//haskell/prime/issues/77) </th>
<th> add [MultiWayIf](multi-way-if)</th></tr> <th> add [MultiWayIf](multi-way-if)
<tr><th></th> </th></tr>
<tr><th> </th>
<th> N </th>
<th> N </th>
<th> </th>
<th> N </th> <th> N </th>
<th> </th>
<th> N </th> <th> N </th>
<th></th>
<th> R </th>
<th></th>
<th> R </th>
<th> Y </th> <th> Y </th>
<th></th> <th> </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> Y </th> <th> Y </th>
<th> N </th> <th> </th>
<th></th> <th> </th>
<th> N </th> <th> N </th>
<th>[\#69](https://gitlab.haskell.org//haskell/prime/issues/69)</th> <th> [\#69](https://gitlab.haskell.org//haskell/prime/issues/69) </th>
<th> allow tuple sections <th> allow tuple sections
</th></tr> </th></tr>
<tr><th> R </th> <tr><th> N </th>
<th> N </th>
<th> N </th> <th> N </th>
<th> </th>
<th> N </th> <th> N </th>
<th></th>
<th> R </th>
<th> N </th> <th> N </th>
<th> R </th> <th> N </th>
<th> R </th> <th> N </th>
<th> R </th> <th> N </th>
<th> NM </th> <th> N </th>
<th> R </th> <th> N </th>
<th></th> <th> </th>
<th> R </th> <th> N </th>
<th></th> <th> </th>
<th> R </th> <th> </th>
<th> N </th> <th> N </th>
<th> R </th>
<th> N </th> <th> N </th>
<th>[\#38](https://gitlab.haskell.org//haskell/prime/issues/38)</th> <th> N </th>
<th> [\#38](https://gitlab.haskell.org//haskell/prime/issues/38) </th>
<th> add implicit parameters <th> add implicit parameters
</th></tr> </th></tr>
<tr><th> M </th> <tr><th> M </th>
<th> M </th>
<th> M </th>
<th></th>
<th></th>
<th> M </th>
<th></th>
<th> M </th>
<th> M </th>
<th> M </th>
<th> M </th>
<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> M </th> <th> M </th>
<th> M </th> <th> N </th>
<th></th> <th> </th>
<th></th> <th> N </th>
<th> N </th> <th> N </th>
<th>[\#14](https://gitlab.haskell.org//haskell/prime/issues/14)</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> add Associated Types
</th></tr> </th></tr>
<tr><th> N </th> <tr><th> N </th>
<th> M </th> <th> M </th>
<th> N </th>
<th></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> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th></th> <th> </th>
<th> N </th> <th> N </th>
<th></th>
<th> N </th> <th> N </th>
<th> N </th> <th> </th>
<th> </th>
<th> </th>
<th> </th>
<th> N </th>
<th> N </th> <th> N </th>
<th></th> <th> </th>
<th>[\#13](https://gitlab.haskell.org//haskell/prime/issues/13)</th> <th> [\#13](https://gitlab.haskell.org//haskell/prime/issues/13) </th>
<th> add Arrows <th> add Arrows
</th></tr> </th></tr>
<tr><th> N </th> <tr><th> N </th>
<th></th> <th> </th>
<th> N </th> <th> N </th>
<th></th> <th> </th>
<th> R </th>
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> Y\* </th> <th> N </th>
<th></th> <th> Y\* </th>
<th> NM </th> <th> </th>
<th> N </th>
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th></th> <th> </th>
<th> NM </th> <th> </th>
<th> R </th> <th> </th>
<th></th> <th> </th>
<th></th> <th> </th>
<th> N </th> <th> N </th>
<th>[\#18](https://gitlab.haskell.org//haskell/prime/issues/18)</th> <th> [\#18](https://gitlab.haskell.org//haskell/prime/issues/18) </th>
<th> add closed classes <th> add closed classes
</th></tr> </th></tr>
<tr><th></th> <tr><th> </th>
<th></th> <th> </th>
<th> Y </th> <th> Y </th>
<th></th> <th> </th>
<th> AW </th>
<th> AW </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> A </th>
<th> Y </th> <th> Y </th>
<th> N </th>
<th> Y </th>
<th> A </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th></th>
<th> A </th>
<th> A </th>
<th>[\#84](https://gitlab.haskell.org//haskell/prime/issues/84)</th>
<th> Kind Annotations
</th></tr></table>
<table><tr><th></th>
<th></th>
<th> N </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th> Y\* </th>
<th></th>
<th> N </th>
<th> N </th>
<th> N </th>
<th></th>
<th> N </th>
<th> Y\* </th>
<th></th>
<th> Y </th>
<th></th>
<th>[\#101](https://gitlab.haskell.org//haskell/prime/issues/101)</th>
<th> Class aliases
</th></tr>
<tr><th></th>
<th></th>
<th> Y </th> <th> Y </th>
<th></th> <th> N </th>
<th> Y </th>
<th></th>
<th> Y </th>
<th> Y </th>
<th> YW </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> Y </th>
<th></th> <th> </th>
<th></th> <th> </th>
<th> Y </th> <th> Y </th>
<th>[\#103](https://gitlab.haskell.org//haskell/prime/issues/103)</th> <th> [\#84](https://gitlab.haskell.org//haskell/prime/issues/84) </th>
<th>[MonomorphicPatternBindings](monomorphic-pattern-bindings)</th></tr> <th> Kind Annotations
<tr><th> W </th>
<th></th>
<th></th>
<th></th>
<th> W </th>
<th></th>
<th> W </th>
<th> W </th>
<th> W </th>
<th></th>
<th> W </th>
<th></th>
<th> W </th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th></th>
<th> volunteer to help write / define libraries
</th></tr></table> </th></tr></table>
--- ---
Member key: Member key:
- IJ Isaac Jones (co-editor) - IJ Isaac Jones (co-editor)
- JL John Launchbury (co-editor) \<john at galois.com\> - JL John Launchbury (co-editor) \<john at galois.com\>
- MC Manuel M T Chakravarty \<chak at cse.unsw.edu.au\> - MC Manuel M T Chakravarty \<chak at cse.unsw.edu.au\>
...@@ -1626,7 +1595,6 @@ Member key: ...@@ -1626,7 +1595,6 @@ Member key:
- RP Ross Paterson \<ross at soi.city.ac.uk\> - RP Ross Paterson \<ross at soi.city.ac.uk\>
- SPJ Simon Peyton-Jones \<simonpj at microsoft.com\> - SPJ Simon Peyton-Jones \<simonpj at microsoft.com\>
- DS Don Stewart \<dons at cse.unsw.edu.au\> - DS Don Stewart \<dons at cse.unsw.edu.au\>
- MS Martin Sulzmann ≠
- AT Audrey Tang \<autrijus at gmail.com\> - AT Audrey Tang \<autrijus at gmail.com\>
- SJT Simon J. Thompson \<S.J.Thompson at kent.ac.uk\> - SJT Simon J. Thompson \<S.J.Thompson at kent.ac.uk\>
- MW Malcolm Wallace \<Malcolm.Wallace at cs.york.ac.uk\> - MW Malcolm Wallace \<Malcolm.Wallace at cs.york.ac.uk\>
......