abstract ExtraIceAbs = Extra - [ProDrop] ** {}