let identity = Some (fun x->x)