[jolux]

Yeah but that’s still fully nominal typing, you can’t implement the interface implicitly, it has to be identified by name.