unit test for super types