import Ġkotlin . reflect . K Type Ċ fun Ġunit ( p : ĠUnit ): ĠUnit Ġ{ Ċ Ċ } Ċ suspend Ġfun Ġbox (): Ġ( String )? Ġ{ Ċ fun Ġcheck ( t 1 : ĠK Type , Ġt 2 : ĠK Type ): ĠUnit Ġ{ Ċ Ċ } Ċ check (( when Ġ{ Ċ (:: unit ) Ġ! in Ġnull Ġ-> Ġ(:: unit ) Ċ else Ġ-> Ġ(:: unit ) Ċ }). parameters . single (). type , Ġ:: unit . returnType ) Ċ return Ġ" OK " Ċ }