typescript distributive conditional types