fun Ġtest () Ġ{ ĊĠ Ġval Ġa : Ġ(@ Extension ĠFunction 2 < *, Ġ*, Ġ*> ). (@ Extension ĠFunction 2 < *, Ġ*, Ġ*> )-> Unit Ġ= Ġ{} ĊĠ Ġval Ġb : Ġ(@ Extension ĠFunction 2 < *, Ġ*, Ġ*> ). (@ Extension ĠFunction 2 < *, Ġ*, Ġ*> )-> Unit Ġ= Ġ{" $ this Ġ$ it "} ĊĠ Ġval Ġc : Ġ(@ Extension ĠFunction 2 < *, Ġ*, Ġ*> ). (@ Extension ĠFunction 2 < *, Ġ*, Ġ*> )-> Unit Ġ= Ġ{} ĊĠ Ġa . b ( c ) ĊĠ Ġa Ġb Ġc Ċ } Ċ Ċ fun ĠInt . foo ( a : ĠInt ) Ġ= Ġthis Ġ* Ġa Ċ val Ġb oo Ġ= Ġfun ĠInt .( a : ĠInt ): ĠInt Ġ= Ġthis Ġ+ Ġa Ċ Ċ fun Ġbox (): ĠString Ġ{ ĊĠĠĠ Ġtest () ĊĠĠĠĠ 1 Ġfoo Ġ 2 ĊĠĠĠĠ 3 Ġb oo Ġ 4 ĊĠĠĠ Ġreturn Ġ" OK " Ċ } Ċ