f x = 1

f( 10 )
