Constraint-Based Type Conversion

Control implicit conversions by constraining constructor or operator availability.