On Saturday, 15 December 2012 at 15:15:21 UTC, r_m_r wrote: > On 12/10/2012 01:43 AM, anonymous wrote: >> Maybe it helps if you see it in action: >> http://dpaste.dzfl.pl/5d4cb742 Note that here s1alpha and s2alpha are distinct types. > Here's a slightly modified version: > http://dpaste.dzfl.pl/f2bd1428 Whereas here they are the same.