type erasure, my ass