Translate LetFun