Implicitly tags (at compile-time) a value of type T with P if t
satisfies the predicate P.
Implicitly tags (at compile-time) a value of type T with P if t
satisfies the predicate P. If it does not satisfy the predicate,
compilation fails.