Type-check.