On Thursday, 28 March 2013 at 22:12:57 UTC, H. S. Teoh wrote: > Also, I don't like repeating types, precisely for this reason; > if that second line had been written: Yeah, I usually don't either, but apparently I did here. Murphy's law at work perhaps!