public static ExprType GetType(ExprType base_type, IReadOnlyList<Int32> indices) => indices.Aggregate(base_type, GetType);