nested_type_checker
