Many thanks to Adriano Aprigliano, Gerard Huet and Herman Tull for their kind answers.  They variously mentioned:

Best,

Dominik