Typing example