| 8 | | || Description || Ticket || Writers || Draft report text || Decisions made || Currently open issues |
| 9 | | || || || || || || |
| 10 | | || add some kind of concurrency || #74 || IJ, SM || || - basic concurrency interface || - cooperative or preemptive |
| 11 | | || || || || || - concurrent and reentrant foreign calls || - foreign call annotation syntax |
| 12 | | || || || || || - bound threads as a specified extension || - semantics of IORefs |
| 13 | | || || || || || || |
| 14 | | || add ForeignFunctionInterface || #35 || MC, SM || || - additional C99 types and casts || |
| 15 | | || || || || || - add signed and unsigned char casts || - transparent marshalling of newtypes |
| 16 | | || || || || || || |
| 17 | | || add multi parameter type classes || #49 || MS || || || - MultiParamTypeClassesDilemma |
| 18 | | || || || || || || |
| 19 | | || add RankNTypes or Rank2Types || #60 || AL || || || - RankN or Rank2? |
| 20 | | || || || || || || |
| 21 | | || add polymorphic components || #57 || AL || || || |
| 22 | | || || || || || || |
| 23 | | || add ExistentialQuantification (existential components) || #26 || AL, MS, SJT || || || |
| 24 | | || || || || || || |
| 25 | | || add HierarchicalModules || #24 || IJ, BH || || || |
| 26 | | || || || || || || |
| | 8 | || Description || Ticket || Writers || Draft report text || Decisions made || Currently open issues || |
| | 9 | || || || || || || || |
| | 10 | || add some kind of concurrency || #74 || IJ, SM || || - basic concurrency interface || - cooperative or preemptive || |
| | 11 | || || || || || - concurrent and reentrant foreign calls || - foreign call annotation syntax || |
| | 12 | || || || || || - bound threads as a specified extension || - semantics of IORefs || |
| | 13 | || || || || || || || |
| | 14 | || add ForeignFunctionInterface || #35 || MC, SM || || - additional C99 types and casts || - transparent marshalling of newtypes || |
| | 15 | || || || || || - add signed and unsigned char casts || || |
| | 16 | || || || || || || || |
| | 17 | || add multi parameter type classes || #49 || MS || || || - MultiParamTypeClassesDilemma || |
| | 18 | || || || || || || || |
| | 19 | || add RankNTypes or Rank2Types || #60 || AL || || || - RankN or Rank2? || |
| | 20 | || || || || || || || |
| | 21 | || add polymorphic components || #57 || AL || || || || |
| | 22 | || || || || || || || |
| | 23 | || add ExistentialQuantification (existential components) || #26 || AL, MS, SJT || || || || |
| | 24 | || || || || || || || |
| | 25 | || add HierarchicalModules || #24 || IJ, BH || || || || |
| | 26 | || || || || || || || |