[solomonb]

I think they meant trivial in comparison to Haskell's type inference, which you had started off comparing against, not C++.