fun Ġ< re ified ĠT > ĠT . plus ( <! UNUSED _ PARAMETER !> p <! >: ĠT ): ĠT Ġ= Ġthis Ċ Ċ fun Ġ< re ified ĠT > ĠT . invoke (): ĠT Ġ Ġ= Ġthis Ċ Ċ fun Ġ< A > Ġmain ( tp : ĠA , Ġany : ĠAny ) Ġ{ ĊĠĠĠ Ġtp Ġ<! TYPE _ PARAMETER _ AS _ RE IFI ED !> + <! > Ġtp ĊĠĠĠ Ġany Ġ+ Ġany ĊĊĠĠĠ Ġ<! TYPE _ PARAMETER _ AS _ RE IFI ED !> tp <! >() ĊĠĠĠ Ġany () Ċ }