poly rec: add a test showing lack of generalization
poly rec: add a test showing lack of generalization

gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml