fun Ġfoo ( f : Ġ( String ) Ġ-> ĠUnit ) Ġ{} Ċ fun Ġbar ( f : Ġ( Int ) Ġ-> ĠUnit ) Ġ{} Ċ Ċ fun Ġtest () Ġ{ ĊĠĠĠ Ġfoo Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġs : ĠString Ġ= Ġit ĊĠĠĠĠĠĠĠ Ġ< caret > bar Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġi : ĠInt Ġ= Ġit ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} Ċ }