added an example of an inclusive type checking