<div dir="ltr"><br><br><div class="gmail_quote">On Tue, Jun 29, 2010 at 10:18 AM, Stephen Tetley <span dir="ltr"><<a href="mailto:stephen.tetley@gmail.com">stephen.tetley@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
Hi Michael<br>
<br>
If you going to the trouble of constructing a sum type (obliged to be<br>
2 parameter) expressly to play well with the favourite single<br>
parameter classes e.g. Functor/ Applicative / Monad [*], maybe it is<br>
worth considering new names for the type and its constructors relating<br>
to what the Applicative/Monad instances actually model.<br>
<br></blockquote><div>I'm definitely open to such an approach, but I couldn't come up with any good names ;). I'm open to suggestions.</div><div><br></div><div>As an aside, my wife is a classics major (Greek and Latin), and she recommended I name the constructors "Sinister" and "Dexter".</div>
<div><br></div><div>Michael </div></div></div>