partial type checking