typeerasure