MonadFail型クラス
functional mini patterns
code:hs
class Monad m => MonadFail m where
fail :: String -> m a
この
fail
は昔は
Monad型クラス
に含まれていたが、
GHC8.0~GHC8.8あたりでMonadFailに分離された
https://kowainik.github.io/posts/haskell-mini-patterns#monadfail-sugar
ササッと読むだ毛では理解できなかった
https://twitter.com/impurepics/status/1317558262682783745
https://kakkun61.hatenablog.com/entry/2020/09/02/%E4%B8%80%E7%95%AA%E7%B0%A1%E5%8D%98%E3%81%AA_MonadFail_%E3%82%A4%E3%83%B3%E3%82%B9%E3%82%BF%E3%83%B3%E3%82%B9
https://qiita.com/mod_poppo/items/8c483951703b5ea0f74e#monadfail-proposal-mfp
/haskell-shoen/MonadFail
MonadFailDesugaring