<div dir="auto">It is easier to understand it if:<div dir="auto">1. You give some examples of such monads</div><div dir="auto">2. Describe how this property arises</div><div dir="auto">3. Tell how whether the law is unique or part of a list of laws applicable</div><div dir="auto"><br></div><div dir="auto">Most of mathematics we do is not entirely disconnected from applications.</div><div dir="auto"><br></div><div dir="auto">If I tell you there is a class of monoids `m` over a set of objects `o` :</div><div dir="auto"><br></div><div dir="auto">class Monoid m => T m o where</div><div dir="auto">  i :: o -> t</div><div dir="auto">  c :: t -> o -> Bool</div><div dir="auto"><br></div><div dir="auto">Such that the following laws are satisfied:</div><div dir="auto"><br></div><div dir="auto">Forall x y z m n.</div><div dir="auto">c (i x) x =True</div><div dir="auto">c mempty x = False</div><div dir="auto">c m y = True => c (m <> n) y = True</div><div dir="auto"><div dir="auto">c n y = True => c (m <> n) y = True</div><div dir="auto"><br style="font-family:sans-serif"></div></div><div dir="auto">What does it tell you about the definitions?</div><div dir="auto">Can you tell if this set of laws is correctly stated or exhaustive?</div><div dir="auto">Whether it models what I intend to do?</div><div dir="auto">Without further examples could I claim that it may be universal model for some phenomena f and g?</div><div dir="auto"><br></div><div dir="auto">Or would you rather see some examples or descriptions of i and c operations?</div><div dir="auto"><br></div><div dir="auto"><br></div><div dir="auto">PS you may respond to haskell-cafe, sure. I did not think that my previous question deserved sharing, but this answer certainly does.</div><div dir="auto">--</div><div dir="auto">  Cheers</div><div dir="auto">     Michał</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Nov 11, 2020, 14:04 Kim-Ee Yeoh <<a href="mailto:ky3@atamo.com">ky3@atamo.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto">Hi Michal,</div><div dir="auto"><br></div><div dir="auto">How is it hermetic? I think I fully described the property whose name I am opening to discussion.</div><div dir="auto"><br></div><div dir="auto">What is lacking in the definition?</div><div dir="auto"><br></div><div dir="auto">Also, do you mind having this discussion at the cafe itself? You are probably not the only one with this query.</div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Nov 11, 2020 at 7:37 PM Michał J Gajda <<a href="mailto:mjgajda@gmail.com" target="_blank" rel="noreferrer">mjgajda@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;padding-left:1ex;border-left-color:rgb(204,204,204)"><div dir="auto">Hi,<div dir="auto">Your post to haskell-cafe is somewhat hermetic if you do not provide additional examples.</div><div dir="auto">What do you use these for?</div><div dir="auto">--</div><div dir="auto">  Cheers</div></div><div dir="auto"><div dir="auto">    Michał</div></div>
</blockquote></div></div>-- <br><div dir="ltr" data-smartmail="gmail_signature">-- Kim-Ee</div>
</blockquote></div>