Category: type-checking