Hi David Snider, I don't know exactly. Very often you can get close by aksing the compiler to give hints. Eg by let f :: string -> int = fun x -> x * x in f 20 you see that string doesn't match the integer/float operation. So the compiler will tell about a missmatch talking about what it expects... This strategy might help you. Marc Weber