Type Checking v2.