Report question

Question: OCaml: Is there a function with type 'a -> 'a other than the identity function?