Hi, 
why is in the following example b of type "string -> string" ?

	let a = id id;;
	let b = a;;
	a "foo";; 
	(* until here it's covered by the faq's *)
	b;;

Thanks,
Axel Krauth