Tests for Nested types