package Ġorg . hex works čĊč Ċ import Ġorg . hex works . util . print čĊč Ċ fun Ġmain () Ġ{ čĊčĊĠĠĠ Ġ// Ġtimes 2 Ġ:: ĠNumber Ġ-> ĠNumber čĊĠĠĠ Ġval Ġtimes 2 Ġ= Ġ{ Ġn : ĠInt Ġ-> Ġn Ġ* Ġ 2 Ġ} čĊčĊĠĠĠ ĠlistOf ( 1 , Ġ 2 , Ġ 3 ). map ( times 2 ). print () Ġ// Ġ[ 2 , Ġ 4 , Ġ 6 ] č Ċ }