I've heard contravariant functors referred to as "cofunctors", and I've also heard objections to that term. As I'm preparing to release some libraries using contravariant functors, I'd appreciate hearing preferences and/or reasons. For instance, another name would be "Contrafunctor".
<br><br><span style="font-family: courier new,monospace;">-- | Contravariant functors. often useful for /acceptors/ (consumers,</span><br style="font-family: courier new,monospace;"><span style="font-family: courier new,monospace;">
-- sinks) of values.</span><br style="font-family: courier new,monospace;"><span style="font-family: courier new,monospace;">class Cofunctor acc where</span><br style="font-family: courier new,monospace;"><span style="font-family: courier new,monospace;">
cofmap :: (a -> b) -> (acc b -> acc a)</span><br><br>Thanks, - Conal<br>