// ĠIG NORE _ BACKEND : ĠJVM Ċ // ĠIG NORE _ BACKEND : ĠW ASM Ċ // Ġ! LANGUAGE : Ġ+ Inline Classes Ċ inline Ġclass ĠA ( val Ġvalue : ĠString ) Ċ Ċ fun Ġinterface ĠB Ġ{ ĊĠĠĠ Ġfun Ġf ( x : ĠA ): ĠA Ċ } Ċ Ċ inline Ġfun Ġg ( unit : ĠUnit Ġ= ĠUnit , Ġb : ĠB ): ĠA Ġ{ ĊĠĠĠ Ġreturn Ġb . f ( A (" Fail ")) Ċ } Ċ Ċ fun Ġbox (): ĠString Ġ{ ĊĠĠĠ Ġval Ġb Ġ= Ġ{ Ġ_ Ġ: ĠA Ġ-> ĠA (" O ") Ġ} ĊĠĠĠ Ġreturn Ġg ( b Ġ= Ġb ). value Ġ+ Ġg Ġ{ ĠA (" K ") Ġ}. value Ċ } Ċ