Co-/contravariance support for non-generic types?
131734
Why does C#/CLR not support method override co/contra-variance?
57435
Type inference with GADTs - a0 is untouchable
102950
Providing a Discriminated Union from an F# Type Provider
33943
Why is Scala's immutable Set not covariant in its type?
136208
Overloaded method selection based on the parameter's real type
150298
Universal type tranformer in Haskell
134266
Casting a class to an unrelated interface
54362
Overriding and return type compatibility
90901
Maintaining Units of measure across type converstions
153202
Type safety: Unchecked cast
47257
F# explicit member constraints: The type variable ^T could not be generalized because it would escape its scope
34066
How do I implement a trait I don't own for a type I don't own?
42482
Workaround for template argument deduction in non-deduced context
21352
transpose template function boolean arguments to runtime function arguments with template metaprogramming
144204
Implementing the same interface at different generic instantiations
34020
Solution for overloaded operator constraint in .NET generics
48141
How can I learn actual type argument of an generic class?