类型擦除是抽象泛型的实例化的过程

抽象泛型：monad；

隐藏抽象泛型的实例化过程中的类型信息；