"need to *have* different NamedTypes", but otherwise yes, that's good.