uncomment small test for variance unification of types