Subtyping and Variance - The Rustonomicon
https://doc.rust-lang.org/nomicon/subtyping.html
docs and stdlib: clean up lifetime "contravariance" story · Issue #391 · rust-lang/rfcs · GitHub
https://github.com/rust-lang/rfcs/issues/391
generics - Specify `Fn` trait bound on struct definition without fixing one of the `Fn` parameters - Stack Overflow
https://stackoverflow.com/questions/50671177/specify-fn-trait-bound-on-struct-definition-without-fixing-one-of-the-fn-par
rfcs/text/0738-variance.md at master · rust-lang/rfcs · GitHub
https://github.com/rust-lang/rfcs/blob/master/text/0738-variance.md
rust - "parameter `'a` is never used" error when 'a is used in type parameter bound - Stack Overflow
https://stackoverflow.com/questions/40484154/parameter-a-is-never-used-error-when-a-is-used-in-type-parameter-bound
rust - How can I avoid PhantomData in this struct definition? - Stack Overflow
https://stackoverflow.com/questions/52188141/how-can-i-avoid-phantomdata-in-this-struct-definition