(* int -> int *) 
fun n -> n * n - 1