package Ġa Ċ Ċ trait ĠT Ċ Ċ class ĠA Ġ{ ĊĠĠĠ Ġclass Ġobject : ĠT Ġ{ ĊĠĠĠ Ġ} Ċ } Ċ Ċ class ĠB Ġ{ ĊĠĠĠ Ġclass Ġobject Ġ{ ĊĠĠĠĠĠĠĠ Ġfun Ġf (): ĠInt ĊĠĠĠ Ġ} Ċ } Ċ Ċ < selection > fun Ġg ( t : ĠT ): ĠInt Ġ{ ĊĠĠĠ Ġg ( A ) ĊĠĠĠ ĠB . f () Ċ }</ selection > ĊĊĊ