f

val f: (A) -> A