3 ms·

D has phantom types too but I've never understood why you would intentionally want a type to be unnameable