`def f[A, B](a: A)(implicit ev: A => B)`?