Think about typing for TS < 2.8

[gparlakov]

The conditional type feature was added in TS and we rely on it.
What can we do without that feature - surely we can still strong type some stuff?