Is go really high level? Imho the type system is so botched you cannot really say that.

One cannot even write a generic `reduce` function...