<div dir="ltr">David, this seem to work similar to forall...:<div><br></div><div>synonym is not compatible with T a b.</div><div><br></div><div>you see, I hope to mix synonym with original T a b in a chain of fun calls. </div><div><br></div><div>Some of the funs accept args like this:</div><div>fun1::T a b -> a -> out1<br></div><div><br></div><div>.. and others - like this:</div><div>fun2::T' -> out2<br>​</div><div>in both cases a and b are not set. However in fun1 I try to enforce type 'a' in the arg #2.</div><div><br></div><div><br></div></div>