Revive inspect_types()
temp