Umm. ..
Phantom types. They have no values yet direct behavior all the same. (Sounds like a state politician.)
A family of phantom types can represent unbounded states with no state values required.
More than a trick, phantom types should be regarded as part of scala's machinery for ad-hoc polymorphism.
A practical example will be offered.