Report question

Question: When does the relaxed value restriction kick in in OCaml?