Type checking.