type erasure worksheet added