Comment by Timwi

Technically anonymous I suppose because the struct is not named, but the article is mostly about type inference while your example has every type made explicit.