Update comments accommodating review.

compiler/GHC/Builtin/Types.hs

@@ -510,10 +510,16 @@ Wrinkles:
 
     See examples in ghc-prim:GHC.Types
 
-(Any8) Warning about unused bindings of type `Any` and `ZonkAny` are suppressed (#25895),
+(Any8) Warning about unused bindings of type `Any` and `ZonkAny` are suppressed,
     following the same rationale of supressing warning about the unit type.
 
-    See `GHC.HsToCore.Expr.warnDiscardedDoBindings`.
+    For example, consider (#25895):
+
+     do { forever (return ()); blah }
+
+    where forever :: forall a b. IO a -> IO b
+    Nothing constrains `b`, so it will be instantiates with `Any` or `ZonkAny`.
+    But we certainly don't want to complain about a discarded do-binding.
 
 The Any tycon used to be quite magic, but we have since been able to
 implement it merely with an empty kind polymorphic type family. See #10886 for a

compiler/GHC/HsToCore/Expr.hs

@@ -1248,7 +1248,7 @@ warnDiscardedDoBindings rhs m_ty elt_ty
          -- Warn about discarding things in 'monadic' binding,
          -- however few types are excluded:
          --   * Unit type `()`
-         --   * `ZonkAny` or `Any` type ` see Any8 of Note [Any types]
+         --   * `ZonkAny` or `Any` type see (Any8) of Note [Any types]
        ; if warn_unused && not supressible_ty
          then diagnosticDs (DsUnusedDoBind rhs elt_ty)
          else