interface WriteCollectionInput {
  /**
   *Attaches an element to the front of an `Collection`, creating a new non empty `Collection`
   */
  add: <A>(head: A) => (tail: Kind<URI, A>) => Kind<URI, A>
  /**
   *delete the element wtih the specified condition,
   *creating a new collection.
   */
  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 {}