fun 'a f (x: 'a): 'a = x

val y: int -> int = f