Thanks, Andrew.&nbsp; <br><br>I&#39;d enjoy hearing more input on the location.&nbsp; I&#39;m inclining to Data.Cofunctor rather than Control.Cofunctor.&nbsp; I doubt there&#39;s really a clearly appropriate place for this <span style="font-style: italic;">
or most type classes</span> to go.&nbsp; A beauty of type classes is that they generalize over uses.&nbsp; For instance, considering [] and IO (for starters) I don&#39;t know where I&#39;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 &quot;composable interfaces&quot;.&nbsp; These interfaces are consumers of values rather than producers of them, hence Cofunctor.
<br><br>Cheers,&nbsp; - 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> &lt;<a href="mailto:ajb@spamcop.net">ajb@spamcop.net</a>&gt; 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&#39;day all.<br><br>Quoting Conal Elliott &lt;<a href="mailto:conal@conal.net">conal@conal.net
</a>&gt;:<br><br>&gt; I&#39;m working on a library that includes a Cofunctor instance.&nbsp;&nbsp;I&#39;d love to<br>&gt; import whatever standard module has the Cofunctor class, and maybe use some<br>&gt; Cofunctor combinators.&nbsp;&nbsp;But, alas, I haven&#39;t found such a thing, and I&#39;m
<br>&gt; wondering what to do.<br><br>I&#39;d say that the &quot;right&quot; thing to do is first, claim a space in the<br>module namespace (presumably Control.Cofunctor) and then, release the<br>world&#39;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>