Types and Shadows Part 2