fun x: A => x x
&
fun y: A => y y y