But it seems not to work correclty: I ask for 'a -> 'a listhttp://search.ocaml.jp/?q=%27a+-%3E+%27a+listand it returns 'a list -> 'a list functions.