<div dir="ltr">this looks quite pretty, though I must admit that im not the most savvy at quantified constraints yet<div><br></div><div>wouldn't this newtype also benefit from a semigroup and monoid instance too? (or am I overlooking some reason why you can't do them too?)</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Feb 15, 2019 at 7:05 PM theindigamer <<a href="mailto:theindigamer15@gmail.com">theindigamer15@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div><pre class="gmail-m_-2169236077359228152gmail-s90z9tc-8 gmail-m_-2169236077359228152gmail-hGaZWh"><code class="gmail-m_-2169236077359228152gmail-s90z9tc-7 gmail-m_-2169236077359228152gmail-cMUrmP"><font size="2"><font face="arial,helvetica,sans-serif">Thoughts on adding a newtype with the following Alternative instance?<br></font></font></code></pre><pre class="gmail-m_-2169236077359228152gmail-s90z9tc-8 gmail-m_-2169236077359228152gmail-hGaZWh"><code class="gmail-m_-2169236077359228152gmail-s90z9tc-7 gmail-m_-2169236077359228152gmail-cMUrmP"><font size="2"><font face="arial,helvetica,sans-serif">(The name chosen is a placeholder, I don't have any particular preference).<br></font></font></code></pre><pre class="gmail-m_-2169236077359228152gmail-s90z9tc-8 gmail-m_-2169236077359228152gmail-hGaZWh"><code class="gmail-m_-2169236077359228152gmail-s90z9tc-7 gmail-m_-2169236077359228152gmail-cMUrmP"><code class="gmail-m_-2169236077359228152gmail-s90z9tc-7 gmail-m_-2169236077359228152gmail-cMUrmP"><font size="4">newtype Mon f a = Mon { unMon :: f a } <br></font></code></code></pre><pre class="gmail-m_-2169236077359228152gmail-s90z9tc-8 gmail-m_-2169236077359228152gmail-hGaZWh"><code class="gmail-m_-2169236077359228152gmail-s90z9tc-7 gmail-m_-2169236077359228152gmail-cMUrmP"><font size="4">instance (forall a. Monoid (f a)) => Alternative (Mon f) where
  empty = Mon mempty
  (<|>) (Mon m1) (Mon m2) = Mon (m1 <> m2)</font></code></pre></div></div>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</blockquote></div>