package Ġa Ċ Ċ class ĠA () Ġ{} Ċ Ċ operator Ġfun ĠA . plus ( a : ĠA ) Ġ= Ġthis Ċ Ċ infix Ġfun ĠA . infix ( i : ĠInt ) Ġ= Ġi Ċ Ċ < selection > fun Ġf ( a : ĠA ) Ġ{ ĊĠĠĠ Ġa Ġ+ Ġa ĊĠĠĠ Ġa Ġin fix Ġ 1 Ċ }</ selection >