type checking work;