On 12/20/14 5:20 AM, Dicebot wrote: > I'd like to have a cast where you must define both "from" and "to" types > precisely. I was actually thinking the same thing. This would be almost future-proof (any changes to either side would result in failed compilation). -Steve