type foo = { mutable bar : int ; mutable buz : foo } ;;