Talk:Value restriction/to do


 * History
 * Modified value restriction in OCaml