TLW comments on Variadic functions in Hindley Milner

[TLW]

I keep forgetting standard HM is that restrictive.