type checking demo