<div dir="ltr">Hello,<br><br>The fail package [1] lists <a href="mailto:libraries@haskell.org">libraries@haskell.org</a> as maintainer's address, so I'm writing here. The documentation for the single module in the package claims:<br><br><div style="margin-left:40px">This module can be imported for defining forward compatible MonadFail instances:<br><br>import qualified Control.Monad.Fail as Fail<br><br>instance Monad Foo where<br>  (>>=) = {- ...bind impl... -}<br><br>  -- Provide legacy fail implementation for when<br>  -- new-style MonadFail desugaring is not enabled.<br>  fail = Fail.fail<br>  ...<br></div><br>But defining the fail method inside a Monad instance will produce an error on GHC 8.8+. Should this bit be removed?<br><br>--<br>Best, Artem<br><br>[1]: <a href="http://hackage.haskell.org/package/fail">http://hackage.haskell.org/package/fail</a><br></div>