<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-02 5:38 p.m., Benjamin Franksen
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;">But I could not
find the</p>
<p style="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;">instance Monoid a => Monad ((,) a)</code></p>
<p style="margin: 0px 0px 0.75em !important;">documented
anywhere in the base package.</p>
</blockquote>
<p style="font-family: Open Sans, Cantarell, Carlito, Calibri,
Verdana, DejaVu Sans, Trebuchet MS, sans-serif;margin: 0px 0px
0.75em !important;">If you look at the list of instances under
the definition of <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;">Monad</code>,
you’ll see <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;">Monoid a => Monad ((,) a)</code>
| <em>Since: 4.9.0.0</em> in the list. Clicking on the <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;"># Source</code>
link takes you to the source of <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;">GHC.Base</code>:</p>
<pre style="font-family: Consolas, Inconsolata, Andale Mono, DejaVu Sans Mono, Courier, monospace; font-size: 10pt;font-size: 1em; line-height: 1.2em;margin: 1.2em 0px;"><code class="hljs language-haskell" 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;white-space: pre; overflow: auto; border-radius: 3px; border: 1px solid rgb(0, 0, 0); background-color: rgb(68, 68, 68); color: rgb(0, 204, 0); display: block !important;display: block; overflow-x: auto; padding: 0.5em; background: rgb(35, 36, 31) none repeat scroll 0% 0%; -moz-text-size-adjust: none;color: rgb(248, 248, 242);"><span class="hljs-class"><span class="hljs-keyword" style="color: rgb(249, 38, 114);color: rgb(102, 217, 239);">instance</span> <span class="hljs-type" style="color: rgb(230, 219, 116);">Monoid</span> a => <span class="hljs-type" style="color: rgb(230, 219, 116);">Monad</span> <span class="hljs-container">((,)</span> a) <span class="hljs-keyword" style="color: rgb(249, 38, 114);">where</span></span>
(u, a) >>= k = <span class="hljs-keyword" style="color: rgb(249, 38, 114);">case</span> k a <span class="hljs-keyword" style="color: rgb(249, 38, 114);">of</span> (v, b) -> (u <> v, b)
</code></pre>
<div
title="MDH:T24gMjAxOS0wOC0wMiA1OjM4IHAubS4sIEJlbmphbWluIEZyYW5rc2VuIHdyb3RlOjxicj4mZ3Q7IEJ1dCBJIGNvdWxkIG5vdCBmaW5kIHRoZTxicj4mZ3Q7PGJyPiZndDvCoMKgIGBpbnN0YW5jZSBN
b25vaWQgYSA9Jmd0OyBNb25hZCAoKCwpIGEpYDxicj4mZ3Q7PGJyPiZndDsgZG9jdW1lbnRlZCBh
bnl3aGVyZSBpbiB0aGUgYmFzZSBwYWNrYWdlLjxicj48YnI+SWYgeW91IGxvb2sgYXQgdGhlIGxp
c3Qgb2YgaW5zdGFuY2VzIHVuZGVyIHRoZSBkZWZpbml0aW9uIG9mIGBNb25hZGAsIHlvdSdsbCBz
ZWUgYE1vbm9pZCBhID0mZ3Q7IE1vbmFkICgoLCkgYSlgIHwgX1NpbmNlOiA0LjkuMC4wXyBpbiB0
aGUgbGlzdC4gQ2xpY2tpbmcgb24gdGhlIGAjIFNvdXJjZWAgbGluayB0YWtlcyB5b3UgdG8gdGhl
IHNvdXJjZSBvZiBgR0hDLkJhc2VgOjxicj48YnI+YGBgaGFza2VsbDxicj5pbnN0YW5jZSBNb25v
aWQgYSA9Jmd0OyBNb25hZCAoKCwpIGEpIHdoZXJlPGJyPsKgwqDCoCAodSwgYSkgJmd0OyZndDs9
IGsgPSBjYXNlIGsgYSBvZiAodiwgYikgLSZndDsgKHUgJmx0OyZndDsgdiwgYik8YnI+YGBgPGJy
Pg=="
style="height:0;width:0;max-height:0;max-width:0;overflow:hidden;font-size:0em;padding:0;margin:0;"></div>
</div>
</body>
</html>