> Оно обычно далеко не для всех языков и очень далеко от интуитивного.
> Поэтому такие ошибки и случаются, причём отнюдь не редко.

Используется оно еще со времен Пролога, SML, в реляционной алгебре/калькуляции, Haskell, Scala, OCaml, ржавчине.
mydata(AnonNr, _, Message,_,_,_,_), вместо mydata(AnonNr, Unused0, Message, Unused1, Unused2, Unused3, Unused4).

А ошибка тут классическая для динамической типизации, т.к. даже из контекста понятно, что типы TResult и TYieldedPairWhatever совсем разные вещи.
Писали бы вместо "result, _ ="   "result, u(nused) =" было бы точно такое же кино.