New example for typed language.