added a simple test for type variance