One doc tagged with "type-checking"