The only semantic difference is in the type checker - the first form is not subject to monomorphism while the latter is unless a type signature is present. There should be no difference at all in the generated code. John