add another example to is-type