A marker trait for erased values. vals or parameters whose type extendsErased get an impliciterased modifier.
Erased
erased