Thanks, Andrew. <br><br>I'd enjoy hearing more input on the location. I'm inclining to Data.Cofunctor rather than Control.Cofunctor. I doubt there's really a clearly appropriate place for this <span style="font-style: italic;">
or most type classes</span> to go. A beauty of type classes is that they generalize over uses. For instance, considering [] and IO (for starters) I don't know where I'd put Functor.<br><br>So I offer rather bold statement that
<span style="font-style: italic;">taxonomy (including namespace hierarchy) and type classes are in conflict with each other</span>, <br><br>About Cofunctor, my library includes a notion of "composable interfaces". These interfaces are consumers of values rather than producers of them, hence Cofunctor.
<br><br>Cheers, - Conal<br><br><div><span class="gmail_quote">On 1/13/07, <b class="gmail_sendername"><a href="mailto:ajb@spamcop.net">ajb@spamcop.net</a></b> <<a href="mailto:ajb@spamcop.net">ajb@spamcop.net</a>> wrote:
</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">G'day all.<br><br>Quoting Conal Elliott <<a href="mailto:conal@conal.net">conal@conal.net
</a>>:<br><br>> I'm working on a library that includes a Cofunctor instance. I'd love to<br>> import whatever standard module has the Cofunctor class, and maybe use some<br>> Cofunctor combinators. But, alas, I haven't found such a thing, and I'm
<br>> wondering what to do.<br><br>I'd say that the "right" thing to do is first, claim a space in the<br>module namespace (presumably Control.Cofunctor) and then, release the<br>world's second-smallest Cabalised library (after hnop).
<br><br>I am mildly curious as to how you managed to come up with a use for<br>covariant functors, though.<br><br>Cheers,<br>Andrew Bromage<br>_______________________________________________<br>Libraries mailing list<br><a href="mailto:Libraries@haskell.org">
Libraries@haskell.org</a><br><a href="http://www.haskell.org/mailman/listinfo/libraries">http://www.haskell.org/mailman/listinfo/libraries</a><br></blockquote></div><br>