:$ f
	return(|b)

|a {if(5, f)} c

|a {if((), f)} c