add Types check