Example 4 - SDT for Type Checking. - edufulness