What Are Types And Shadows