Re: [Haskell-cafe] GHC 8.8 and MonadFail proposal