On Tuesday, 26 November 2013 at 20:14:15 UTC, inout wrote: > Any operation that expects int will essentially discard all the > qualifiers. It isn't surprising that any operation that expects int will get int. To take advantage of Validated, an operation has to expect Validated.