<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_extra">On Thu, Nov 19, 2015 at 1:33 AM, Mike Houghton <span dir="ltr"><<a href="mailto:mike_k_houghton@yahoo.co.uk" target="_blank">mike_k_houghton@yahoo.co.uk</a>></span> wrote:<br><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div>The source is just me exploring. </div></blockquote><div><br></div><div>Nice.<br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div>I first looked at </div><div><br></div><div>data C a = C a deriving (Show)</div><div><br></div><div>and made Monad, Applicative, Monoid and Functors for it.</div></blockquote><div><br></div><div>Even though the null-effect instances for the identity functor are trivial, there's value in writing them out, especially for the motivated.<br><br></div><div>But how do you take an arbitrary type and turn it into a monoid?<br></div><br clear="all"><div><div class="gmail_signature">-- Kim-Ee</div></div>
</div></div></div>