Simplify Types API by moving repetition.