<div dir="ltr"><div>Dear Cafe,</div><div><br></div><div>MonadFail.fail takes String. <br></div><div>I wasn't able to find MonadFail for custom error type.</div><div>Is there any proposals to base? <br></div><div><br></div><div>Let's say Data.Text, which gains popularity with OverloadedStrings extensions.</div><div><br></div><div>class MonadFail m where</div><div>  fail :: String -> m a</div><div><br></div><div>Why not ? <br></div><div><div>class MonadFail m where</div><div>  fail :: (forall s. IsString s => s) -> m a</div><div><br></div><div><div><div>class MonadFailWith m s where</div><div>  fail :: s -> m a</div><div><br><br></div><div><br></div></div></div><div><br><br></div></div><div><br></div><div><br>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><br>Best regards,<br>Daniil Iaitskov<br> <br><br><br></div></div></div>