jrwest/learn_you_a_scalaz — pull request #11 by dyross (2011-11-16 19:51:36+00:00)
Title: The section "A sidenote on Contravariance" is confusing.

It doesn't seem to explain why A should be contravariant. If it were invariant, the examples given still would work. I have attempted to clarify.