type-check
