@ file : Suppress (" UNUSED _ PARAMETER ") Ċ Ċ package Ġsample Ċ Ċ expect Ġinterface ĠA Ġ{ ĊĠĠĠ Ġfun Ġcommon _ 1 _ A () Ċ } Ċ Ċ expect Ġinterface ĠB Ġ: ĠA Ġ{ ĊĠĠĠ Ġfun Ġcommon _ 1 _ B () Ċ } Ċ Ċ type alias ĠA _ Common _ 1 _ Alias Ġ= ĠA Ċ type alias ĠB _ Common _ 1 _ Alias Ġ= ĠB Ċ Ċ fun Ġtake _ A _ common _ 1 ( func : Ġ( A ) Ġ-> ĠUnit ) Ġ{} Ċ fun Ġtake _ B _ common _ 1 ( func : Ġ( B ) Ġ-> ĠUnit ) Ġ{} Ċ Ċ fun Ġtake _ A _ alias _ common _ 1 ( func : Ġ( A _ Common _ 1 _ Alias ) Ġ-> ĠUnit ) Ġ{} Ċ fun Ġtake _ B _ alias _ common _ 1 ( func : Ġ( B _ Common _ 1 _ Alias ) Ġ-> ĠUnit ) Ġ{}