interface ĠI < F , ĠG > Ċ Ċ val Ġa Impl : ĠA . Companion . Interface ĊĠĠĠ Ġget () Ġ= Ġnull !! Ċ Ċ val Ġb Impl : ĠB . Companion . Interface ĊĠĠĠ Ġget () Ġ= Ġnull !! Ċ Ċ interface ĠA Ġ{ ĊĠĠĠ Ġcompanion Ġobject Ġ: ĠNested (), ĠInterface Ġby Ġa Impl , ĠI < Nested , ĠInterface > Ġ{ ĊĊĠĠĠĠĠĠĠ Ġclass ĠNested ĊĊĠĠĠĠĠĠĠ Ġinterface ĠInterface ĊĠĠĠ Ġ} Ċ } Ċ Ċ class ĠB Ġ{ ĊĠĠĠ Ġcompanion Ġobject Ġ: ĠNested (), ĠInterface Ġby Ġa Impl , ĠI < Nested , ĠInterface > Ġ{ ĊĊĠĠĠĠĠĠĠ Ġclass ĠNested ĊĊĠĠĠĠĠĠĠ Ġinterface ĠInterface ĊĠĠĠ Ġ} Ċ } Ċ