Proposal: Bring the Contravariant class to base

Tony Morris tonymorris at
Wed Sep 13 03:20:26 UTC 2017

FWIW, this is due to an earlier mistake, where it was named CoFunctor.
It has since been corrected to Contravariant, but the misnomer still
hangs around a little.

On 13/09/17 07:44, Daniel Díaz Casanueva wrote:
> Contravariant is very similar to Functor (some people call it CoFunctor)

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 488 bytes
Desc: OpenPGP digital signature
URL: <>

More information about the Libraries mailing list