Checking type conformance