Examples for the TypeErasure Talk