On Thursday, February 27, 2014 4:44:26 PM UTC+11, John Myles White wrote: > > I think this doesn’t work because matching gets done by exact types, not > subtypes. >
But it does work via subtypes on the non-parametric version. Seems to be a difference between that and the parametric?