On Mon, Jan 27, 2014 at 12:56:19PM -0800, zkamsler wrote:
> Should this be "`S<T>` can only be converted to `S<U>` if `T` is a a
> subtype of `U`"? It says the same thing for contravariant, so one of
> them must be wrong.

Thanks, corrected.