A replay where we shortly discuss the idea of shadows and types, and provide a few examples.