<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="markdown-here-wrapper" data-md-url="Thunderbird"
style="font-family: Open Sans, Cantarell, Carlito, Calibri,
Verdana, DejaVu Sans, Trebuchet MS, sans-serif;">
<p style="font-family: Open Sans, Cantarell, Carlito, Calibri,
Verdana, DejaVu Sans, Trebuchet MS, sans-serif;margin: 0px 0px
0.75em !important;">On 2019-08-05 2:33 p.m., Jinxuan Zhu wrote:</p>
<blockquote style="margin: 1.2em 0px;border-left: 4px solid
rgb(221, 221, 221); padding: 0px 1em; color: rgb(119, 119, 119);
quotes: none;">
<p style="margin: 0px 0px 0.75em !important;">… Bool can be
monoid by either || or && operations, which would lead
to ambiguity if Bool is monoid by default.</p>
<p style="margin: 0px 0px 0.75em !important;">You can:</p>
<ol style="margin: 1.2em 0px;padding-left: 2em;">
<li style="margin: 0.5em 0px;">use Maybe Unit instead</li>
<li style="margin: 0.5em 0px;">(overkill) Define AndMonoid
Bool newtype and use DeriveVia and coerce</li>
</ol>
</blockquote>
<p style="font-family: Open Sans, Cantarell, Carlito, Calibri,
Verdana, DejaVu Sans, Trebuchet MS, sans-serif;margin: 0px 0px
0.75em !important;"><code style="font-family: Consolas, Inconsolata, Andale Mono, DejaVu Sans Mono, Courier, monospace; font-size: 10pt;margin: 0px 0.15em; padding: 0px 0.3em; white-space: pre-wrap; border: 1px solid rgb(234, 234, 234); background-color: rgb(248, 248, 248); border-radius: 3px; display: inline;">Data.Monoid</code>
from <code style="font-family: Consolas, Inconsolata, Andale Mono, DejaVu Sans Mono, Courier, monospace; font-size: 10pt;margin: 0px 0.15em; padding: 0px 0.3em; white-space: pre-wrap; border: 1px solid rgb(234, 234, 234); background-color: rgb(248, 248, 248); border-radius: 3px; display: inline;">base</code>
already has <code style="font-family: Consolas, Inconsolata, Andale Mono, DejaVu Sans Mono, Courier, monospace; font-size: 10pt;margin: 0px 0.15em; padding: 0px 0.3em; white-space: pre-wrap; border: 1px solid rgb(234, 234, 234); background-color: rgb(248, 248, 248); border-radius: 3px; display: inline;">Any</code>
and <code style="font-family: Consolas, Inconsolata, Andale Mono, DejaVu Sans Mono, Courier, monospace; font-size: 10pt;margin: 0px 0.15em; padding: 0px 0.3em; white-space: pre-wrap; border: 1px solid rgb(234, 234, 234); background-color: rgb(248, 248, 248); border-radius: 3px; display: inline;">All</code>
for this.</p>
<div
title="MDH:T24gMjAxOS0wOC0wNSAyOjMzIHAubS4sIEppbnh1YW4gWmh1IHdyb3RlOjxicj4mZ3Q7IOKApiBCb29sIGNhbiBiZSBtb25vaWQgYnkgZWl0aGVyIHx8IG9yICZhbXA7JmFtcDsgb3BlcmF0aW9ucywg
d2hpY2ggd291bGQgbGVhZCB0byBhbWJpZ3VpdHkgaWYgQm9vbCBpcyBtb25vaWQgYnkgZGVmYXVs
dC48YnI+Jmd0Ozxicj4mZ3Q7IFlvdSBjYW46PGJyPiZndDsgMS4gdXNlIE1heWJlIFVuaXQgaW5z
dGVhZDxicj4mZ3Q7IDIuIChvdmVya2lsbCkgRGVmaW5lIEFuZE1vbm9pZCBCb29sIG5ld3R5cGUg
YW5kIHVzZSBEZXJpdmVWaWEgYW5kIGNvZXJjZTxicj48YnI+YERhdGEuTW9ub2lkYCBmcm9tIGBi
YXNlYCBhbHJlYWR5IGhhcyBgQW55YCBhbmQgYEFsbGAgZm9yIHRoaXMuPGJyPg=="
style="height:0;width:0;max-height:0;max-width:0;overflow:hidden;font-size:0em;padding:0;margin:0;"></div>
</div>
</body>
</html>