fun Ġfoo ( p : Ġ( Int ) Ġ-> ĠUnit ){} Ċ Ċ fun Ġbar () Ġ{ ĊĠĠĠ Ġfoo (< caret >) Ċ } Ċ Ċ fun Ġf (){} Ċ fun Ġf ( i : ĠInt ){} Ċ Ċ // Ġcurrently Ġnot Ġsupported Ġfor Ġgeneric Ġfunc it ons Ċ fun < T > Ġgeneric F ( t : ĠT ){} Ċ Ċ // ĠEX IST : Ġ:: f Ċ // ĠA BS ENT : Ġ:: generic F Ċ