// Ġ" Let Ġ' String ' Ġimplement Ġinterface Ġ' A '" Ġ" false " Ċ // ĠACTION : ĠChange Ġparameter Ġ' a ' Ġtype Ġof Ġfunction Ġ' foo ' Ġto Ġ' String ' Ċ // ĠACTION : ĠConvert Ġto Ġ' build String ' Ġcall Ċ // ĠACTION : ĠTo Ġraw Ġstring Ġliteral Ċ // ĠACTION : ĠCreate Ġfunction Ġ' foo ' Ċ // ĠERROR : ĠType Ġmismatch : Ġinferred Ġtype Ġis ĠString Ġbut ĠA Ġwas Ġexpected Ċ Ċ package Ġlet . implement Ċ Ċ fun Ġbar () Ġ{ ĊĠĠĠ Ġfoo (" Hello "< caret >) Ċ } ĊĊ Ċ fun Ġfoo ( a : ĠA ) Ġ{ Ċ } Ċ Ċ interface ĠA