On 2012-09-21 17:25, Sven Barth wrote: > In that case you must always pass the type ("keyType" in your example) to tCompOps as well. Anything else does not work. Even generic constraints would not work here. Eh? Fpc can specializes C.lessThan, then why can't C.keyType? Hense I request this feature :)