package Ġclasses and objects Ċ Ċ type alias ĠTA Any Set Ġ= ĠSet < Any > Ċ type alias ĠT AT Set < T > Ġ= ĠSet < T > Ċ type alias ĠT AM y Handler Ġ= Ġ( Int , ĠString , ĠAny ) Ġ-> ĠUnit Ċ type alias ĠT AP red icate < T > Ġ= Ġ( T ) Ġ-> ĠBoolean Ċ Ċ class ĠTA Ġ{ ĊĠĠĠ Ġinner Ġclass ĠInner Ċ } Ċ Ċ type alias ĠTA Inner Ġ= ĠTA . Inner Ċ Ċ fun Ġfoo ( p : ĠT AP red icate < Int >) Ġ= Ġp ( 4 2 ) Ċ Ċ fun Ġmain () Ġ{ ĊĠĠĠ Ġval Ġf : Ġ( Int ) Ġ-> ĠBoolean Ġ= Ġ{ Ġit Ġ> Ġ 0 Ġ} ĊĠĠĠ Ġprintln ( foo ( f )) ĊĊĠĠĠ Ġval Ġp : ĠT AP red icate < Int > Ġ= Ġ{ Ġit Ġ> Ġ 0 Ġ} ĊĠĠĠ Ġprintln ( listOf ( 1 , Ġ- 2 ). filter ( p )) Ċ }