Fix documentation around extension implication for MultiParamTypeClasses/ConstrainedClassMethods.

docs/users_guide/exts/constrained_class_methods.rst

@@ -5,11 +5,14 @@ Constrained class method types
 
 .. extension:: ConstrainedClassMethods
     :shortdesc: Enable constrained class methods.
+        Implied by :extension:`MultiParamTypeClasses`.
 
     :since: 6.8.1
 
     :status: Included in :extension:`GHC2021`
 
+    :implied by: :extension:`MultiParamTypeClasses`
+
     Allows the definition of further constraints on individual class methods.
 
 Haskell 98 prohibits class method types to mention constraints on the

docs/users_guide/exts/multi_param_type_classes.rst

@@ -6,6 +6,7 @@ Multi-parameter type classes
 .. extension:: MultiParamTypeClasses
     :shortdesc: Enable multi parameter type classes.
          Implied by :extension:`FunctionalDependencies`.
+         Implies :extension:`ConstrainedClassMethods`.
 
     :implies: :extension:`ConstrainedClassMethods`
     :implied by: :extension:`FunctionalDependencies`