issues-by-report-structure.md

@@ -39,16 +39,24 @@ Organized following the structure of the [ Haskell 98 Report](http://www.haskell
   - [NewtypeDeriving](newtype-deriving)
 - Type Classes and Overloading
 
+  - Class Declarations
+
     - [ClassMethodTypes](class-method-types)
-  - [TypeSynonymInstances](type-synonym-instances)
-  - [FlexibleInstances](flexible-instances) or [UndecidableInstances](undecidable-instances)
     - [MultiParamTypeClasses](multi-param-type-classes)
-  - [OverlappingInstances](overlapping-instances) or [IncoherentInstances](incoherent-instances)
     - [FunctionalDependencies](functional-dependencies)
     - [AssociatedTypes](associated-types)
+  - Instance Declarations
+
+    - [TypeSynonymInstances](type-synonym-instances)
+    - [FlexibleInstances](flexible-instances) or [UndecidableInstances](undecidable-instances)
+    - [OverlappingInstances](overlapping-instances) or [IncoherentInstances](incoherent-instances)
+  - Ambiguous Types, and Defaults
+
+    - [Defaulting](defaulting)
+  - Implicit Parameters (new)
+
     - [ImplicitParams](implicit-params)
     - [LinearImplicitParams](linear-implicit-params)
-  - [Defaulting](defaulting)
 - Nested Declarations
 
   - [Rank2Types](rank2-types) or [RankNTypes](rank-n-types)