function nat id ( n ) = n

function nat main _ = {
  id ( 42 );
}