Upgrade a Type Check previus implementation