Test KindTopType.