On Mon, Jan 27, 2014 at 01:17:32PM -0800, Felix S Klock II wrote:
> Considering trying to succinctly write the covariant/contravariant subtyping inference rules, as an in-place reference for someone reading this without internet?  I know one can infer the relationships from the examples you provide in the doc below; i'm just wondering if there's some pithy four or five line summary we could put here.

Hmm, I wonder where would be the best place to put it.
I also wonder if it would suffice to write:

```
Covariant<A> <: Covariant<B> iff A <: B
Invariant<A> <: Invariant<B> iff A == B
Contravariant<A> <: Contravariant<B> iff A :> B
```


Niko