I failing to see the difference between the first and the second

let

. if I go inline the first

let

, the remaining one is not marked as redundant. as you say, probably idiomatically

let

is supposed to transform the caller, so the second case is not marked because input and output are of the same type