[mrkeen]

But there's no programming at the type level. The programming in the article is at the level of values (insofar as what is shown.).