type checking samples