libraries/proposals/monad-fail.md

@@ -210,10 +210,11 @@ Both of those tell us the "real" desugaring as just another pattern we could rec
       (>>=) = <...bind impl...>
       -- NB: `return` defaults to `pure` since GHC 7.10
 
-      -- Monad(fail) will be removed in GHC 8.8+
+      -- Monad(fail) will be removed in GHC 8.8+; 
+      -- GHC may or may not ignore a definition in terms of MonadFail(fail) (decision pending)
       fail = Fail.fail
 
-    instance MonadFail Foo where
+    instance Fail.MonadFail Foo where
       fail = <...fail implementation...>
     ```
   1. Change your pattern to be irrefutable