A few tests for generic and structural types