[octo_t]

That's just one use of dependent types (and the easiest one for an audience to understand).

[JupiterMoon]

But it is the only one described in the article.