Decrease header level to 3 for Monad and Applicative "ado/do notation"

Author: JordanMartinez

src/Control/Applicative.purs

@@ -30,7 +30,7 @@ import Data.Unit (Unit, unit)
 -- | - Homomorphism: `(pure f) <*> (pure x) = pure (f x)`
 -- | - Interchange: `u <*> (pure y) = (pure (_ $ y)) <*> u`
 -- |
--- | ## Ado Notation
+-- | ### Ado Notation
 -- |
 -- | When using a type that has an instance for `Applicative`, one can use
 -- | "ado notation." In short, this code...

src/Control/Monad.purs

@@ -29,7 +29,7 @@ import Data.Unit (Unit)
 -- | - Right Identity: `x >>= pure = x`
 -- | - Applicative Superclass: `apply = ap`
 -- |
--- | ## Do Notation
+-- | ### Do Notation
 -- |
 -- | When using a type that has an instance for `Monad`, one can use
 -- | "do notation." In short, this code...