Add typing example