> I've put some comments in the code, I hope this helps! Thanks, Michał. Can you tell about TyVar? Upeer and lower bound, Fix() and so on? Solver alse interesting subject :). Vald