{ y = {=} }.( {x : Natural} )