Fix Trac #4120: generate a proper coercion when unifying forall types