interface WriteCollectionInput {
  /**
   *插入一个元素到集合头,返回新集合.
   */
  add: <A>(head: A) => (tail: Kind<URI, A>) => Kind<URI, A>
  /**
   *删除一些满足条件的元素，返回删除后的集合
   */
  deleteWith: <A>(predicate: Predicate<A>) => (as: Kind<URI, A>) => Kind<URI, A>
  updateWith: <A>(predicate: Predicate<A>, updater: (a: A) => A) => (as: Kind<URI, A>) => Kind<URI, A>
}

interface WriterCollection extends WriteCollectionInput, ReaderCollection {}