Updated typing example