Effect tree up to LetFun with recursion