[m-rev.] for post-commit review: encode an invariant in types

[Julien Fischer]

On Wed, 12 May 2021, Zoltan Somogyi wrote:

> For review by anyone.

Hmmm,

      ~/ws/ws8

is a little too cryptic to review ;-)

I had a look at what you actually committed and it seems fine.

Julien.