15 | | * NegativeSyntax |

16 | | * TupleSections |

17 | | * ParallelListComp |

18 | | * RecursiveDo |

19 | | * [wiki:Arrows] |

20 | | * PatternGuards |

21 | | * MultiWayIf |

22 | | * LambdaCase |

| 15 | * Errors |

| 16 | * Variables, Constructors, Operators, and Literals |

| 17 | * NegativeSyntax |

| 18 | * Curried Applications and Lambda Abstractions |

| 19 | * Operator Applications |

| 20 | * Sections |

| 21 | * TupleSections |

| 22 | * Conditionals |

| 23 | * MultiWayIf |

| 24 | * Lists |

| 25 | * Tuples |

| 26 | * TupleSections |

| 27 | * Unit Expressions and Parenthesized Expressions |

| 28 | * Arithmetic Sequences |

| 29 | * List Comprehensions |

| 30 | * ParallelListComp |

| 31 | * generalise to monad comprehensions |

| 32 | * Let Expressions |

| 33 | * Case Expressions |

| 34 | * MultiWayIf |

| 35 | * LambdaCase |

| 36 | * Do Expressions |

| 37 | * RecursiveDo |

| 38 | * Datatypes with Field Labels |

| 39 | * ExistingRecords |

| 40 | * numerous new record proposals |

| 41 | * Expression Type-Signatures |

| 42 | * Pattern Matching |

| 43 | * PatternGuards |

| 44 | * Other expression forms (new) |

| 45 | * [wiki:Arrows] |

| 46 | |