tests: add some tests for covariant genericity.