update the example of type erasure