A type class-like trait intended as a context bound for type variables. If we have[X: Precise], instances of the type variableX are inferred in precise mode. This means that singleton types and union types are not widened.