Type.OptionalIndexedAccess
type t('M, 'T) = {
indexed_access: IndexedAccess.t('M, 'T),
optional: bool,
};