Makes type-level literals more robust.