open Ġclass ĠFoo Ġ{} Ċ open Ġclass ĠBar Ġ{} Ċ Ċ fun Ġ< T Ġ: ĠBar , ĠT 1 > Ġfoo (< warning > x </ warning > Ġ: ĠInt ) Ġ{} Ċ fun Ġ< T 1 , ĠT Ġ: ĠFoo > Ġfoo (< warning > x </ warning > Ġ: ĠLong ) Ġ{} Ċ Ċ fun Ġf (): ĠUnit Ġ{ ĊĠĠĠ Ġfoo << error > Int </ error >, ĠInt >( 1 ) Ċ }