Title: Types and Shadows