Type-only artefacts

From my archive: