Simple type checking examples

-