interface IndexWriteCollectionInput {
  /**
   *删除一个指定位置的元素，返回删除后的集合
   */
  _deleteAt: <A>(i: number) => (as: Kind<URI, A>) => Kind<URI, A>
  /**
   *修改一个指定位置的元素，返回修改后的集合
   */
  _setAt: <A>(i: number, a: A) => (as: Kind<URI, A>) => Kind<URI, A>
  /**
   *插入一个指定位置的元素，返回插入后的集合
   */
  _insertAt<A>(i: number, a: A): (as: Kind<URI, A>) => Kind<URI, A>
}

interface IndexWriterCollection extends IndexWriteCollectionInput, WriterCollection, IndexReaderCollection {
  /**
   *插入一个元素到集合头,返回新集合.
   */
  cons: <A>(head: A) => (tail: Kind<F, A>) => Kind<F, A>
  /**
   *删除一个指定位置的元素，返回删除后的集合
   */
  deleteAt: <A>(i: number) => (as: Kind<F, A>) => Option<Kind<F, A>>
  /**
   *插入一个元素到集合尾部,返回新集合.是snoc的别名.
   */
  push: <A>(end: A) => (init: Kind<F, A>) => Kind<F, A>
  /**
   *修改一个指定位置的元素，返回修改后的集合
   */
  setAt: <A>(i: number, a: A) => (as: Kind<F, A>) => Option<Kind<F, A>>
  /**
   *插入一个元素到集合尾部,返回新集合.
   */
  snoc: <A>(end: A) => (init: Kind<F, A>) => Kind<F, A>
  /**
   *修改一个指定位置的元素，返回修改后的集合
   */
  updateAt: <A>(i: number, updater: (a: A) => A) => (as: Kind<F, A>) => Option<Kind<F, A>>
  /**
   *插入一个指定位置的元素，返回插入后的集合
   */
  insertAt<A>(i: number, a: A): (as: Kind<F, A>) => Option<Kind<F, A>>
}