mention TypeErasureAnalyzer