Curry.ExtendedFlat.EraseTypes
eraseTypes