val 'a rec f = fn x => x