// ĠFIR _ IDENT ICAL Ċ // Ġ! CHECK _ TYPE Ċ Ċ interface ĠPredicate < T > Ċ Ċ fun Ġ< T > ĠPredicate ( x : Ġ( T ?) Ġ-> ĠBoolean ): ĠPredicate < T > Ġ= Ġnull !! Ċ Ċ fun Ġfoo () Ġ{ ĊĠĠĠ Ġprocess ( Predicate Ġ{ ĊĠĠĠĠĠĠĠ Ġx Ġ-> Ġx Ġcheck Type Ġ{ Ġ_ < String ?> () Ġ} ĊĊĠĠĠĠĠĠĠ Ġtrue ĊĠĠĠ Ġ}) Ċ } Ċ Ċ fun Ġprocess ( x : ĠPredicate < String >) Ġ{} Ċ