Add generics and covariance sample
Add another example to demo the limit of compiler
Add demos on contravariance issue