Types check.