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>