On 2010-05-02 21:49, Conor McBride wrote: > [...] unification is happy to choose the solution which presents > itself, even if it's not unique. If this is the case, then you have found a bug. I've added your example to issue 246 and raised its priority to ensure that Ulf takes a look at it before 2.2.8 is released. -- /NAD