type alias ĠAction < K > Ġ= Ġ(@ Unsafe Variance ĠK ) Ġ-> ĠUnit Ċ type alias ĠAction 2 < K > Ġ= Ġ(@ Unsafe Variance ĠK ) Ġ-> ĠK Ċ Ċ data Ġclass ĠTag < L >( val Ġaction : ĠAction < L >) Ċ data Ġclass ĠTag 2 < L >( val Ġaction : ĠAction << ! RED UND ANT _ PRO JECTION !> in <! > ĠL >) Ċ data Ġclass ĠTag 3 < in ĠL >( val Ġaction : ĠAction < L >) Ċ data Ġclass ĠTag 4 < in ĠL >( val Ġaction : ĠAction << ! RED UND ANT _ PRO JECTION !> in <! > ĠL >) Ċ data Ġclass ĠTag 5 < L >( val Ġaction : ĠAction 2 < L >) Ċ data Ġclass ĠTag 6 < out ĠL >( val Ġaction : ĠAction << ! RED UND ANT _ PRO JECTION !> in <! > ĠL >) Ċ data Ġclass ĠTag 7 < out ĠL >( val Ġaction : ĠAction < L >) Ċ data Ġclass ĠTag 8 < out ĠL >( val Ġaction : ĠAction 2 < L >) Ċ Ċ fun Ġget Tag (): ĠTag < *> Ġ= ĠTag < Int > Ġ{} Ċ fun Ġget Tag 2 (): ĠTag 2 < *> Ġ= ĠTag 2 < Int > Ġ{} Ċ fun Ġget Tag 3 (): ĠTag 3 < *> Ġ= ĠTag 3 < Int > Ġ{} Ċ fun Ġget Tag 4 (): ĠTag 4 < *> Ġ= ĠTag 4 < Int > Ġ{} Ċ fun Ġget Tag 5 (): ĠTag 5 < *> Ġ= ĠTag 5 < Int > Ġ{ Ġ 1 Ġ} Ċ fun Ġget Tag 6 (): ĠTag 6 < *> Ġ= ĠTag 6 < Int > Ġ{ Ġ} Ċ fun Ġget Tag 7 (): ĠTag 7 < *> Ġ= ĠTag 7 < Int > Ġ{ Ġ} Ċ fun Ġget Tag 8 (): ĠTag 8 < *> Ġ= ĠTag 8 < Int > Ġ{ Ġ 1 Ġ} Ċ Ċ fun Ġmain () Ġ{ ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Function 1 < kotlin . Nothing , Ġkotlin . Unit >") !> getTag (). action <! > ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Function 1 < kotlin . Nothing , Ġkotlin . Unit >") !> getTag 2 (). action <! > ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Function 1 < kotlin . Nothing , Ġkotlin . Unit >") !> getTag 3 (). action <! > ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Function 1 < kotlin . Nothing , Ġkotlin . Unit >") !> getTag 4 (). action <! > ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Function 1 < kotlin . Nothing , Ġkotlin . Any ?> ") !> getTag 5 (). action <! > ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Function 1 < kotlin . Nothing , Ġkotlin . Unit >") !> getTag 6 (). action <! > ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Function 1 < kotlin . Nothing , Ġkotlin . Unit >") !> getTag 7 (). action <! > ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Function 1 < kotlin . Nothing , Ġkotlin . Any ?> ") !> getTag 8 (). action <! > Ċ } Ċ