Fwd: Misleading documentation for `fail`

7 Feb 2020

      Hello,

The fail package [1] lists libraries@haskell.org as maintainer's address,
so I'm writing here. The documentation for the single module in the package
claims:

This module can be imported for defining forward compatible MonadFail
instances:

import qualified Control.Monad.Fail as Fail

instance Monad Foo where
  (>>=) = {- ...bind impl... -}

  -- Provide legacy fail implementation for when
  -- new-style MonadFail desugaring is not enabled.
  fail = Fail.fail
  ...

But defining the fail method inside a Monad instance will produce an error
on GHC 8.8+. Should this bit be removed?

--
Best, Artem

[1]: http://hackage.haskell.org/package/fail

Fwd: Misleading documentation for `fail`

Artem Pelenitsyn