27 May
2013
27 May
'13
2:55 p.m.
Yeah, for two non-disjoint types T and U with T<U it should be possible. But it soon turns ugly (see C++ :) when you have multiple parameters...