<br><br><div class="gmail_quote">On Tue, Nov 6, 2012 at 3:32 PM, Herbert Valerio Riedel <span dir="ltr"><<a href="mailto:hvr@gnu.org" target="">hvr@gnu.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">Clark Gaebel <<a target="" href="mailto:cgaebel@uwaterloo.ca">cgaebel@uwaterloo.ca</a>> writes:<br></div>
| There's no disadvantage to having the generic functionality in a<br>
| separate package, right?<br></blockquote></div><br>Well for one it means you can't simply write<br><br> instance Class Type<br><br>but must write<br><br> instance Class Type where<br> forEveryMethod = genericForEveryMethod<br>
...<br><br>and it wouldn't work with the planned generics feature that you could just write<br><br> data Type deriving Class<br><br>I for one think conditional APIs are all OK; a form of "progressive enhancement".<br>