Skip to content

Changes

Page history
change from ABCD rating to Y/N/blank authored by malcolm.wallace@cs.york.ac.uk's avatar malcolm.wallace@cs.york.ac.uk
Hide whitespace changes
Inline Side-by-side
straw-poll-1.md
View page @ b36270e3
......@@ -3,107 +3,1446 @@ Note: Isaac is asking for the committee to hold off voting for about 24 hours wh
---
```wiki
Here is a form to record your current opinion on all proposals.
Using the champion system, rate each proposal as
Rate each proposal as
- Y - I tend strongly towards accepting this proposal
- N - I tend strongly towards rejecting this proposal
- blank - I am ambivalent, undecided, or haven't considered it properly in detail.
* A - I absolutely want this and will fight for it.
* B - I have a preference to have it, but will not fight.
* C - I'd rather not have this, but will not fight.
* D - I will fight against this.
Add your ratings to the column of the table headed with your initials.
----
|| IJ || JL || MC || JG || BH || AL || SM || JM || RN || HN || RP || SPJ || DS || AT || SJT || MW || SW || Ticket || Description
|| || || || || || || || || || || || || || || || || || #74 || add some kind of concurrency
|| || || || || || || || || || || || || || || || || || #35 || add ForeignFunctionInterface
|| || || || || || || || || || || || || || || || || || #49 || add multi parameter type classes
|| || || || || || || || || || || || || || || || || || #60 || add RankNTypes or Rank2Types
|| || || || || || || || || || || || || || || || || || #57 || add polymorphic components
|| || || || || || || || || || || || || || || || || || #26 || add ExistentialQuantification
|| || || || || || || || || || || || || || || || || || #85 || more liberal kind inference
|| || || || || || || || || || || || || || || || || || #70 || allow TypeSynonymInstances
|| || || || || || || || || || || || || || || || || || #65 || Relax Dependency Analysis
|| || || || || || || || || || || || || || || || || || #39 || add ImpreciseExceptions
|| || || || || || || || || || || || || || || || || || #29 || add ExtensibleExceptions
|| || || || || || || || || || || || || || || || || || #24 || add HierarchicalModules
|| || || || || || || || || || || || || || || || || || #89 || standardize the System.FilePath module for Haskell'
|| || || || || || || || || || || || || || || || || || #53 || Nondecreasing Indentation
|| || || || || || || || || || || || || || || || || || #25 || add EmptyDataDeclarations
|| || || || || || || || || || || || || || || || || || #23 || fix common pitfall with the do-notation and if-then-else
|| || || || || || || || || || || || || || || || || || #15 || add a binary IO interface
|| || || || || || || || || || || || || || || || || || #59 || Fix the lexical syntax for qualified identifiers
|| || || || || || || || || || || || || || || || || || #42 || fix comment syntax grammar
|| || || || || || || || || || || || || || || || || || #32 || add FlexibleInstances
|| || || || || || || || || || || || || || || || || || #31 || add Flexible Contexts
|| || || || || || || || || || || || || || || || || || #56 || add Pattern Guards
|| || || || || || || || || || || || || || || || || || #51 || add new pragmas
|| || || || || || || || || || || || || || || || || || #79 || Natural numbers
|| || || || || || || || || || || || || || || || || || #72 || Make underscore 'caseless'
|| || || || || || || || || || || || || || || || || || #20 || Eliminate . as an operator
|| || || || || || || || || || || || || || || || || || #61 || replace the Read class
|| || || || || || || || || || || || || || || || || || #96 || Replace the array indexing operator, '!'
|| || || || || || || || || || || || || || || || || || #95 || improve module interfaces
|| || || || || || || || || || || || || || || || || || #86 || add PartialTypeAnnotations?
|| || || || || || || || || || || || || || || || || || #76 || Bang patterns
|| || || || || || || || || || || || || || || || || || #67 || add Scoped Type Variables
|| || || || || || || || || || || || || || || || || || #62 || allow data consructors to be exported and imported readonly
|| || || || || || || || || || || || || || || || || || #58 || prelude re-organisation proposal
|| || || || || || || || || || || || || || || || || || #55 || add Parallel List comprehensions
|| || || || || || || || || || || || || || || || || || #52 || Generalised deriving for newtype
|| || || || || || || || || || || || || || || || || || #50 || get rid of unary '-' operator
|| || || || || || || || || || || || || || || || || || #48 || clarify module system proposals
|| || || || || || || || || || || || || || || || || || #44 || add MagicUnderscore
|| || || || || || || || || || || || || || || || || || #41 || add LambdaCase
|| || || || || || || || || || || || || || || || || || #34 || add ForeignData
|| || || || || || || || || || || || || || || || || || #33 || add Blockable
|| || || || || || || || || || || || || || || || || || #30 || remove operator fixity resolution from the context-free grammar
|| || || || || || || || || || || || || || || || || || #28 || Require explicit quantification on all expression bound type signatures
|| || || || || || || || || || || || || || || || || || #21 || improve defaulting rules
|| || || || || || || || || || || || || || || || || || #92 || add First Class Labels
|| || || || || || || || || || || || || || || || || || #99 || Move existing named field (record) system to an addendum
|| || || || || || || || || || || || || || || || || || #100 || Replace named fields with an extensible record system
|| || || || || || || || || || || || || || || || || || #80 || Reform the monomorphism restriction
|| || || || || || || || || || || || || || || || || || #78 || Add infix type constructors
|| || || || || || || || || || || || || || || || || || #82 || Allow import declarations anywhere at the top level
|| || || || || || || || || || || || || || || || || || #81 || scoping of type variables in class instances
|| || || || || || || || || || || || || || || || || || #88 || unified and extensible annotations
|| || || || || || || || || || || || || || || || || || #19 || control export and import of class instances
|| || || || || || || || || || || || || || || || || || #17 || relax restriction on signatures of class methods
|| || || || || || || || || || || || || || || || || || #68 || Eliminate tabs
|| || || || || || || || || || || || || || || || || || #64 || add recursive do syntax
|| || || || || || || || || || || || || || || || || || #37 || add GADTs
|| || || || || || || || || || || || || || || || || || #73 || add views
|| || || || || || || || || || || || || || || || || || #71 || Allow Undecidable Instances
|| || || || || || || || || || || || || || || || || || #54 || add overlapping or incoherent instances
|| || || || || || || || || || || || || || || || || || #43 || add Linear implicit params
|| || || || || || || || || || || || || || || || || || #36 || add FunctionalDependencies
|| || || || || || || || || || || || || || || || || || #77 || add MultiWayIf
|| || || || || || || || || || || || || || || || || || #69 || allow tuple sections
|| || || || || || || || || || || || || || || || || || #38 || add implicit parameters
|| || || || || || || || || || || || || || || || || || #14 || add Associated Types
|| || || || || || || || || || || || || || || || || || #13 || add Arrows
|| || || || || || || || || || || || || || || || || || #18 || add closed classes
|| || || || || || || || || || || || || || || || || || #84 || Kind Annotations
---
<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> 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>[\#74](https://gitlab.haskell.org//haskell/prime/issues/74)</th>
<th> add some kind of concurrency
</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>[\#35](https://gitlab.haskell.org//haskell/prime/issues/35)</th>
<th> add [ForeignFunctionInterface](foreign-function-interface)</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>[\#49](https://gitlab.haskell.org//haskell/prime/issues/49)</th>
<th> add multi parameter type classes
</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>[\#60](https://gitlab.haskell.org//haskell/prime/issues/60)</th>
<th> add RankNTypes or Rank2Types
</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>[\#57](https://gitlab.haskell.org//haskell/prime/issues/57)</th>
<th> add polymorphic components
</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>[\#26](https://gitlab.haskell.org//haskell/prime/issues/26)</th>
<th> add [ExistentialQuantification](existential-quantification)</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>[\#85](https://gitlab.haskell.org//haskell/prime/issues/85)</th>
<th> more liberal kind inference
</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>[\#70](https://gitlab.haskell.org//haskell/prime/issues/70)</th>
<th> allow [TypeSynonymInstances](type-synonym-instances)</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>[\#65](https://gitlab.haskell.org//haskell/prime/issues/65)</th>
<th> Relax Dependency Analysis
</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>[\#39](https://gitlab.haskell.org//haskell/prime/issues/39)</th>
<th> add [ImpreciseExceptions](imprecise-exceptions)</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>[\#29](https://gitlab.haskell.org//haskell/prime/issues/29)</th>
<th> add [ExtensibleExceptions](extensible-exceptions)</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>[\#24](https://gitlab.haskell.org//haskell/prime/issues/24)</th>
<th> add [HierarchicalModules](hierarchical-modules)</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>[\#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></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>[\#53](https://gitlab.haskell.org//haskell/prime/issues/53)</th>
<th> Nondecreasing Indentation
</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>[\#25](https://gitlab.haskell.org//haskell/prime/issues/25)</th>
<th> add [EmptyDataDeclarations](empty-data-declarations)</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>[\#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></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>[\#15](https://gitlab.haskell.org//haskell/prime/issues/15)</th>
<th> add a binary IO interface
</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>[\#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></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>[\#42](https://gitlab.haskell.org//haskell/prime/issues/42)</th>
<th> fix comment syntax grammar
</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>[\#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></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></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>[\#56](https://gitlab.haskell.org//haskell/prime/issues/56)</th>
<th> add Pattern Guards
</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>[\#51](https://gitlab.haskell.org//haskell/prime/issues/51)</th>
<th> add new pragmas
</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>[\#79](https://gitlab.haskell.org//haskell/prime/issues/79)</th>
<th> Natural numbers
</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>[\#72](https://gitlab.haskell.org//haskell/prime/issues/72)</th>
<th> Make underscore 'caseless'
</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>[\#20](https://gitlab.haskell.org//haskell/prime/issues/20)</th>
<th> Eliminate . as an operator
</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>[\#61](https://gitlab.haskell.org//haskell/prime/issues/61)</th>
<th> replace the Read class
</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>[\#96](https://gitlab.haskell.org//haskell/prime/issues/96)</th>
<th> Replace the array indexing operator, '!'
</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>[\#95](https://gitlab.haskell.org//haskell/prime/issues/95)</th>
<th> improve module interfaces
</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>[\#86](https://gitlab.haskell.org//haskell/prime/issues/86)</th>
<th> add [PartialTypeAnnotations](partial-type-annotations)?
</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>[\#76](https://gitlab.haskell.org//haskell/prime/issues/76)</th>
<th> Bang patterns
</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>[\#67](https://gitlab.haskell.org//haskell/prime/issues/67)</th>
<th> add Scoped Type Variables
</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>[\#62](https://gitlab.haskell.org//haskell/prime/issues/62)</th>
<th> allow data consructors to be exported and imported readonly
</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>[\#58](https://gitlab.haskell.org//haskell/prime/issues/58)</th>
<th> prelude re-organisation proposal
</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>[\#55](https://gitlab.haskell.org//haskell/prime/issues/55)</th>
<th> add Parallel List comprehensions
</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>[\#52](https://gitlab.haskell.org//haskell/prime/issues/52)</th>
<th> Generalised deriving for newtype
</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>[\#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></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></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>[\#44](https://gitlab.haskell.org//haskell/prime/issues/44)</th>
<th> add [MagicUnderscore](magic-underscore)</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>[\#41](https://gitlab.haskell.org//haskell/prime/issues/41)</th>
<th> add [LambdaCase](lambda-case)</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>[\#34](https://gitlab.haskell.org//haskell/prime/issues/34)</th>
<th> add [ForeignData](foreign-data)</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>[\#33](https://gitlab.haskell.org//haskell/prime/issues/33)</th>
<th> add Blockable
</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>[\#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></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>[\#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></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>[\#21](https://gitlab.haskell.org//haskell/prime/issues/21)</th>
<th> improve defaulting rules
</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>[\#92](https://gitlab.haskell.org//haskell/prime/issues/92)</th>
<th> add First Class Labels
</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>[\#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></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>[\#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></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>[\#80](https://gitlab.haskell.org//haskell/prime/issues/80)</th>
<th> Reform the monomorphism restriction
</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>[\#78](https://gitlab.haskell.org//haskell/prime/issues/78)</th>
<th> Add infix type constructors
</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>[\#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></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>[\#81](https://gitlab.haskell.org//haskell/prime/issues/81)</th>
<th> scoping of type variables in class instances
</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>[\#88](https://gitlab.haskell.org//haskell/prime/issues/88)</th>
<th> unified and extensible annotations
</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>[\#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></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>[\#17](https://gitlab.haskell.org//haskell/prime/issues/17)</th>
<th> relax restriction on signatures of class methods
</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>[\#68](https://gitlab.haskell.org//haskell/prime/issues/68)</th>
<th> Eliminate tabs
</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>[\#64](https://gitlab.haskell.org//haskell/prime/issues/64)</th>
<th> add recursive do syntax
</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>[\#37](https://gitlab.haskell.org//haskell/prime/issues/37)</th>
<th> add GADTs
</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>[\#73](https://gitlab.haskell.org//haskell/prime/issues/73)</th>
<th> add views
</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>[\#71](https://gitlab.haskell.org//haskell/prime/issues/71)</th>
<th> Allow Undecidable Instances
</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>[\#54](https://gitlab.haskell.org//haskell/prime/issues/54)</th>
<th> add overlapping or incoherent instances
</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>[\#43](https://gitlab.haskell.org//haskell/prime/issues/43)</th>
<th> add Linear implicit params
</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>[\#36](https://gitlab.haskell.org//haskell/prime/issues/36)</th>
<th> add [FunctionalDependencies](functional-dependencies)</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>[\#77](https://gitlab.haskell.org//haskell/prime/issues/77)</th>
<th> add [MultiWayIf](multi-way-if)</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>[\#69](https://gitlab.haskell.org//haskell/prime/issues/69)</th>
<th> allow tuple sections
</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>[\#38](https://gitlab.haskell.org//haskell/prime/issues/38)</th>
<th> add implicit parameters
</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>[\#14](https://gitlab.haskell.org//haskell/prime/issues/14)</th>
<th> add Associated Types
</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>[\#13](https://gitlab.haskell.org//haskell/prime/issues/13)</th>
<th> add Arrows
</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>[\#18](https://gitlab.haskell.org//haskell/prime/issues/18)</th>
<th> add closed classes
</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>[\#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>
```
\ No newline at end of file
- 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\>