type-checks