data Ġclass ĠPerson ( val Ġname : ĠString , Ġval Ġage : ĠInt ) Ċ Ċ fun Ġcheck Lambda ( block : Ġ( Person ) Ġ-> ĠUnit ) Ġ{ Ġprint ( block ) Ġ} Ċ Ċ fun Ġmain () Ġ{ ĊĠĠĠ Ġval Ġperson Ġ= ĠPerson (" Bob ", Ġ 2 ) ĊĠĠĠ Ġval Ġ( name , Ġage ) Ġ= Ġperson ĊĠĠĠ Ġprint ("$ name Ġ$ age ") ĊĠĠĠ Ġcheck Lambda Ġ< warning Ġdescr =" SSR ">{ Ġ( n , Ġa ) Ġ-> Ġprint ("$ n Ġ$ a ") Ġ}</ warning > ĊĠĠĠ Ġval Ġperson List Ġ= ĠlistOf ( person ) ĊĠĠĠ Ġfor Ġ(( n , Ġa ) Ġin Ġperson List ) Ġ{ Ġprint ("$ n Ġ$ a ") Ġ} Ċ }