add a type-checking example