Type checking made easy.