Skip to content

Changes

Page history
asking to hold off voting util we get the ballot settled authored by ijones's avatar ijones
Hide whitespace changes
Inline Side-by-side
straw-poll-1.md
View page @ b6b48d2d
Here is a form to record your current opinion on all proposals.
Using the champion system, rate each proposal as
- 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.
Note: Isaac is asking for the committee to hold off voting for about 24 hours while we clarify what the ballot should look like.
---
<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>
---
```wiki
Here is a form to record your current opinion on all proposals.
Using the champion system, rate each proposal as
* 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
----
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\>
* 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