Hierarchy For Package cyclops.monads

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • cyclops.monads.AnyM.AnyMFactory
  • cyclops.monads.CokleisliM<T,R,W> (implements cyclops.function.Fn1<T,R>, com.aol.cyclops2.types.functor.Transformable<T>)
  • cyclops.monads.XorM<W1,W2,T> (implements com.aol.cyclops2.types.Filters<T>, com.aol.cyclops2.types.foldable.Folds<T>, org.reactivestreams.Publisher<T>, com.aol.cyclops2.types.foldable.To<T>, com.aol.cyclops2.types.functor.Transformable<T>, com.aol.cyclops2.types.Zippable<T>)

Interface Hierarchy

• com.aol.cyclops2.types.stream.ConvertableToReactiveSeq<T>
  • com.aol.cyclops2.types.stream.ToStream<T> (also extends java.lang.Iterable<T>)
    • cyclops.monads.AnyM<W,T> (also extends com.aol.cyclops2.types.factory.EmptyUnit<T>, com.aol.cyclops2.types.Filters<T>, com.aol.cyclops2.types.foldable.Folds<T>, org.reactivestreams.Publisher<T>, com.aol.cyclops2.types.foldable.To<T>, com.aol.cyclops2.types.functor.Transformable<T>, com.aol.cyclops2.types.factory.Unit<T>, com.aol.cyclops2.types.Unwrapable, com.aol.cyclops2.types.Zippable<T>)
      • cyclops.monads.AnyM2<W,T2,T> (also extends com.aol.cyclops2.types.factory.EmptyUnit<T>, com.aol.cyclops2.types.foldable.Folds<T>, org.reactivestreams.Publisher<T>, com.aol.cyclops2.types.stream.ToStream<T>, com.aol.cyclops2.types.functor.Transformable<T>, com.aol.cyclops2.types.factory.Unit<T>, com.aol.cyclops2.types.Unwrapable, com.aol.cyclops2.types.Zippable<T>)
    • cyclops.monads.AnyM2<W,T2,T> (also extends cyclops.monads.AnyM<W,T>, com.aol.cyclops2.types.factory.EmptyUnit<T>, com.aol.cyclops2.types.foldable.Folds<T>, org.reactivestreams.Publisher<T>, com.aol.cyclops2.types.functor.Transformable<T>, com.aol.cyclops2.types.factory.Unit<T>, com.aol.cyclops2.types.Unwrapable, com.aol.cyclops2.types.Zippable<T>)
• com.aol.cyclops2.types.Filters<T>
  • cyclops.monads.AnyM<W,T> (also extends com.aol.cyclops2.types.factory.EmptyUnit<T>, com.aol.cyclops2.types.foldable.Folds<T>, org.reactivestreams.Publisher<T>, com.aol.cyclops2.types.foldable.To<T>, com.aol.cyclops2.types.stream.ToStream<T>, com.aol.cyclops2.types.functor.Transformable<T>, com.aol.cyclops2.types.factory.Unit<T>, com.aol.cyclops2.types.Unwrapable, com.aol.cyclops2.types.Zippable<T>)
    • cyclops.monads.AnyM2<W,T2,T> (also extends com.aol.cyclops2.types.factory.EmptyUnit<T>, com.aol.cyclops2.types.foldable.Folds<T>, org.reactivestreams.Publisher<T>, com.aol.cyclops2.types.stream.ToStream<T>, com.aol.cyclops2.types.functor.Transformable<T>, com.aol.cyclops2.types.factory.Unit<T>, com.aol.cyclops2.types.Unwrapable, com.aol.cyclops2.types.Zippable<T>)
• com.aol.cyclops2.types.foldable.Folds<T>
  • cyclops.monads.AnyM<W,T> (also extends com.aol.cyclops2.types.factory.EmptyUnit<T>, com.aol.cyclops2.types.Filters<T>, org.reactivestreams.Publisher<T>, com.aol.cyclops2.types.foldable.To<T>, com.aol.cyclops2.types.stream.ToStream<T>, com.aol.cyclops2.types.functor.Transformable<T>, com.aol.cyclops2.types.factory.Unit<T>, com.aol.cyclops2.types.Unwrapable, com.aol.cyclops2.types.Zippable<T>)
    • cyclops.monads.AnyM2<W,T2,T> (also extends com.aol.cyclops2.types.factory.EmptyUnit<T>, com.aol.cyclops2.types.foldable.Folds<T>, org.reactivestreams.Publisher<T>, com.aol.cyclops2.types.stream.ToStream<T>, com.aol.cyclops2.types.functor.Transformable<T>, com.aol.cyclops2.types.factory.Unit<T>, com.aol.cyclops2.types.Unwrapable, com.aol.cyclops2.types.Zippable<T>)
  • cyclops.monads.AnyM2<W,T2,T> (also extends cyclops.monads.AnyM<W,T>, com.aol.cyclops2.types.factory.EmptyUnit<T>, org.reactivestreams.Publisher<T>, com.aol.cyclops2.types.stream.ToStream<T>, com.aol.cyclops2.types.functor.Transformable<T>, com.aol.cyclops2.types.factory.Unit<T>, com.aol.cyclops2.types.Unwrapable, com.aol.cyclops2.types.Zippable<T>)
• java.util.function.Function<T,R>
  • cyclops.function.Fn1<T,R>
    • cyclops.monads.KleisliM<W,T,R> (also extends com.aol.cyclops2.types.functor.Transformable<T>)
• java.lang.Iterable<T>
  • com.aol.cyclops2.types.stream.ToStream<T> (also extends com.aol.cyclops2.types.stream.ConvertableToReactiveSeq<T>)
    • cyclops.monads.AnyM<W,T> (also extends com.aol.cyclops2.types.factory.EmptyUnit<T>, com.aol.cyclops2.types.Filters<T>, com.aol.cyclops2.types.foldable.Folds<T>, org.reactivestreams.Publisher<T>, com.aol.cyclops2.types.foldable.To<T>, com.aol.cyclops2.types.functor.Transformable<T>, com.aol.cyclops2.types.factory.Unit<T>, com.aol.cyclops2.types.Unwrapable, com.aol.cyclops2.types.Zippable<T>)
      • cyclops.monads.AnyM2<W,T2,T> (also extends com.aol.cyclops2.types.factory.EmptyUnit<T>, com.aol.cyclops2.types.foldable.Folds<T>, org.reactivestreams.Publisher<T>, com.aol.cyclops2.types.stream.ToStream<T>, com.aol.cyclops2.types.functor.Transformable<T>, com.aol.cyclops2.types.factory.Unit<T>, com.aol.cyclops2.types.Unwrapable, com.aol.cyclops2.types.Zippable<T>)
    • cyclops.monads.AnyM2<W,T2,T> (also extends cyclops.monads.AnyM<W,T>, com.aol.cyclops2.types.factory.EmptyUnit<T>, com.aol.cyclops2.types.foldable.Folds<T>, org.reactivestreams.Publisher<T>, com.aol.cyclops2.types.functor.Transformable<T>, com.aol.cyclops2.types.factory.Unit<T>, com.aol.cyclops2.types.Unwrapable, com.aol.cyclops2.types.Zippable<T>)
  • com.aol.cyclops2.types.Zippable<T> (also extends com.aol.cyclops2.types.functor.Transformable<T>)
    • cyclops.monads.AnyM<W,T> (also extends com.aol.cyclops2.types.factory.EmptyUnit<T>, com.aol.cyclops2.types.Filters<T>, com.aol.cyclops2.types.foldable.Folds<T>, org.reactivestreams.Publisher<T>, com.aol.cyclops2.types.foldable.To<T>, com.aol.cyclops2.types.stream.ToStream<T>, com.aol.cyclops2.types.functor.Transformable<T>, com.aol.cyclops2.types.factory.Unit<T>, com.aol.cyclops2.types.Unwrapable)
      • cyclops.monads.AnyM2<W,T2,T> (also extends com.aol.cyclops2.types.factory.EmptyUnit<T>, com.aol.cyclops2.types.foldable.Folds<T>, org.reactivestreams.Publisher<T>, com.aol.cyclops2.types.stream.ToStream<T>, com.aol.cyclops2.types.functor.Transformable<T>, com.aol.cyclops2.types.factory.Unit<T>, com.aol.cyclops2.types.Unwrapable, com.aol.cyclops2.types.Zippable<T>)
    • cyclops.monads.AnyM2<W,T2,T> (also extends cyclops.monads.AnyM<W,T>, com.aol.cyclops2.types.factory.EmptyUnit<T>, com.aol.cyclops2.types.foldable.Folds<T>, org.reactivestreams.Publisher<T>, com.aol.cyclops2.types.stream.ToStream<T>, com.aol.cyclops2.types.functor.Transformable<T>, com.aol.cyclops2.types.factory.Unit<T>, com.aol.cyclops2.types.Unwrapable)
• org.reactivestreams.Publisher<T>
  • cyclops.monads.AnyM<W,T> (also extends com.aol.cyclops2.types.factory.EmptyUnit<T>, com.aol.cyclops2.types.Filters<T>, com.aol.cyclops2.types.foldable.Folds<T>, com.aol.cyclops2.types.foldable.To<T>, com.aol.cyclops2.types.stream.ToStream<T>, com.aol.cyclops2.types.functor.Transformable<T>, com.aol.cyclops2.types.factory.Unit<T>, com.aol.cyclops2.types.Unwrapable, com.aol.cyclops2.types.Zippable<T>)
    • cyclops.monads.AnyM2<W,T2,T> (also extends com.aol.cyclops2.types.factory.EmptyUnit<T>, com.aol.cyclops2.types.foldable.Folds<T>, org.reactivestreams.Publisher<T>, com.aol.cyclops2.types.stream.ToStream<T>, com.aol.cyclops2.types.functor.Transformable<T>, com.aol.cyclops2.types.factory.Unit<T>, com.aol.cyclops2.types.Unwrapable, com.aol.cyclops2.types.Zippable<T>)
  • cyclops.monads.AnyM2<W,T2,T> (also extends cyclops.monads.AnyM<W,T>, com.aol.cyclops2.types.factory.EmptyUnit<T>, com.aol.cyclops2.types.foldable.Folds<T>, com.aol.cyclops2.types.stream.ToStream<T>, com.aol.cyclops2.types.functor.Transformable<T>, com.aol.cyclops2.types.factory.Unit<T>, com.aol.cyclops2.types.Unwrapable, com.aol.cyclops2.types.Zippable<T>)
• cyclops.monads.ReactorWitness
• com.aol.cyclops2.types.foldable.To<T>
  • cyclops.monads.AnyM<W,T> (also extends com.aol.cyclops2.types.factory.EmptyUnit<T>, com.aol.cyclops2.types.Filters<T>, com.aol.cyclops2.types.foldable.Folds<T>, org.reactivestreams.Publisher<T>, com.aol.cyclops2.types.stream.ToStream<T>, com.aol.cyclops2.types.functor.Transformable<T>, com.aol.cyclops2.types.factory.Unit<T>, com.aol.cyclops2.types.Unwrapable, com.aol.cyclops2.types.Zippable<T>)
    • cyclops.monads.AnyM2<W,T2,T> (also extends com.aol.cyclops2.types.factory.EmptyUnit<T>, com.aol.cyclops2.types.foldable.Folds<T>, org.reactivestreams.Publisher<T>, com.aol.cyclops2.types.stream.ToStream<T>, com.aol.cyclops2.types.functor.Transformable<T>, com.aol.cyclops2.types.factory.Unit<T>, com.aol.cyclops2.types.Unwrapable, com.aol.cyclops2.types.Zippable<T>)
• com.aol.cyclops2.types.functor.Transformable<T>
  • cyclops.monads.AnyM<W,T> (also extends com.aol.cyclops2.types.factory.EmptyUnit<T>, com.aol.cyclops2.types.Filters<T>, com.aol.cyclops2.types.foldable.Folds<T>, org.reactivestreams.Publisher<T>, com.aol.cyclops2.types.foldable.To<T>, com.aol.cyclops2.types.stream.ToStream<T>, com.aol.cyclops2.types.factory.Unit<T>, com.aol.cyclops2.types.Unwrapable, com.aol.cyclops2.types.Zippable<T>)
    • cyclops.monads.AnyM2<W,T2,T> (also extends com.aol.cyclops2.types.factory.EmptyUnit<T>, com.aol.cyclops2.types.foldable.Folds<T>, org.reactivestreams.Publisher<T>, com.aol.cyclops2.types.stream.ToStream<T>, com.aol.cyclops2.types.functor.Transformable<T>, com.aol.cyclops2.types.factory.Unit<T>, com.aol.cyclops2.types.Unwrapable, com.aol.cyclops2.types.Zippable<T>)
  • cyclops.monads.AnyM2<W,T2,T> (also extends cyclops.monads.AnyM<W,T>, com.aol.cyclops2.types.factory.EmptyUnit<T>, com.aol.cyclops2.types.foldable.Folds<T>, org.reactivestreams.Publisher<T>, com.aol.cyclops2.types.stream.ToStream<T>, com.aol.cyclops2.types.factory.Unit<T>, com.aol.cyclops2.types.Unwrapable, com.aol.cyclops2.types.Zippable<T>)
  • cyclops.monads.KleisliM<W,T,R> (also extends cyclops.function.Fn1<T,R>)
  • com.aol.cyclops2.types.Zippable<T> (also extends java.lang.Iterable<T>)
    • cyclops.monads.AnyM<W,T> (also extends com.aol.cyclops2.types.factory.EmptyUnit<T>, com.aol.cyclops2.types.Filters<T>, com.aol.cyclops2.types.foldable.Folds<T>, org.reactivestreams.Publisher<T>, com.aol.cyclops2.types.foldable.To<T>, com.aol.cyclops2.types.stream.ToStream<T>, com.aol.cyclops2.types.functor.Transformable<T>, com.aol.cyclops2.types.factory.Unit<T>, com.aol.cyclops2.types.Unwrapable)
      • cyclops.monads.AnyM2<W,T2,T> (also extends com.aol.cyclops2.types.factory.EmptyUnit<T>, com.aol.cyclops2.types.foldable.Folds<T>, org.reactivestreams.Publisher<T>, com.aol.cyclops2.types.stream.ToStream<T>, com.aol.cyclops2.types.functor.Transformable<T>, com.aol.cyclops2.types.factory.Unit<T>, com.aol.cyclops2.types.Unwrapable, com.aol.cyclops2.types.Zippable<T>)
    • cyclops.monads.AnyM2<W,T2,T> (also extends cyclops.monads.AnyM<W,T>, com.aol.cyclops2.types.factory.EmptyUnit<T>, com.aol.cyclops2.types.foldable.Folds<T>, org.reactivestreams.Publisher<T>, com.aol.cyclops2.types.stream.ToStream<T>, com.aol.cyclops2.types.functor.Transformable<T>, com.aol.cyclops2.types.factory.Unit<T>, com.aol.cyclops2.types.Unwrapable)
• com.aol.cyclops2.types.factory.Unit<T>
  • cyclops.monads.AnyM<W,T> (also extends com.aol.cyclops2.types.factory.EmptyUnit<T>, com.aol.cyclops2.types.Filters<T>, com.aol.cyclops2.types.foldable.Folds<T>, org.reactivestreams.Publisher<T>, com.aol.cyclops2.types.foldable.To<T>, com.aol.cyclops2.types.stream.ToStream<T>, com.aol.cyclops2.types.functor.Transformable<T>, com.aol.cyclops2.types.Unwrapable, com.aol.cyclops2.types.Zippable<T>)
    • cyclops.monads.AnyM2<W,T2,T> (also extends com.aol.cyclops2.types.factory.EmptyUnit<T>, com.aol.cyclops2.types.foldable.Folds<T>, org.reactivestreams.Publisher<T>, com.aol.cyclops2.types.stream.ToStream<T>, com.aol.cyclops2.types.functor.Transformable<T>, com.aol.cyclops2.types.factory.Unit<T>, com.aol.cyclops2.types.Unwrapable, com.aol.cyclops2.types.Zippable<T>)
  • cyclops.monads.AnyM2<W,T2,T> (also extends cyclops.monads.AnyM<W,T>, com.aol.cyclops2.types.factory.EmptyUnit<T>, com.aol.cyclops2.types.foldable.Folds<T>, org.reactivestreams.Publisher<T>, com.aol.cyclops2.types.stream.ToStream<T>, com.aol.cyclops2.types.functor.Transformable<T>, com.aol.cyclops2.types.Unwrapable, com.aol.cyclops2.types.Zippable<T>)
  • com.aol.cyclops2.types.factory.EmptyUnit<T>
    • cyclops.monads.AnyM<W,T> (also extends com.aol.cyclops2.types.Filters<T>, com.aol.cyclops2.types.foldable.Folds<T>, org.reactivestreams.Publisher<T>, com.aol.cyclops2.types.foldable.To<T>, com.aol.cyclops2.types.stream.ToStream<T>, com.aol.cyclops2.types.functor.Transformable<T>, com.aol.cyclops2.types.factory.Unit<T>, com.aol.cyclops2.types.Unwrapable, com.aol.cyclops2.types.Zippable<T>)
      • cyclops.monads.AnyM2<W,T2,T> (also extends com.aol.cyclops2.types.factory.EmptyUnit<T>, com.aol.cyclops2.types.foldable.Folds<T>, org.reactivestreams.Publisher<T>, com.aol.cyclops2.types.stream.ToStream<T>, com.aol.cyclops2.types.functor.Transformable<T>, com.aol.cyclops2.types.factory.Unit<T>, com.aol.cyclops2.types.Unwrapable, com.aol.cyclops2.types.Zippable<T>)
    • cyclops.monads.AnyM2<W,T2,T> (also extends cyclops.monads.AnyM<W,T>, com.aol.cyclops2.types.foldable.Folds<T>, org.reactivestreams.Publisher<T>, com.aol.cyclops2.types.stream.ToStream<T>, com.aol.cyclops2.types.functor.Transformable<T>, com.aol.cyclops2.types.factory.Unit<T>, com.aol.cyclops2.types.Unwrapable, com.aol.cyclops2.types.Zippable<T>)
• com.aol.cyclops2.types.Unwrapable
  • cyclops.monads.AnyM<W,T> (also extends com.aol.cyclops2.types.factory.EmptyUnit<T>, com.aol.cyclops2.types.Filters<T>, com.aol.cyclops2.types.foldable.Folds<T>, org.reactivestreams.Publisher<T>, com.aol.cyclops2.types.foldable.To<T>, com.aol.cyclops2.types.stream.ToStream<T>, com.aol.cyclops2.types.functor.Transformable<T>, com.aol.cyclops2.types.factory.Unit<T>, com.aol.cyclops2.types.Zippable<T>)
    • cyclops.monads.AnyM2<W,T2,T> (also extends com.aol.cyclops2.types.factory.EmptyUnit<T>, com.aol.cyclops2.types.foldable.Folds<T>, org.reactivestreams.Publisher<T>, com.aol.cyclops2.types.stream.ToStream<T>, com.aol.cyclops2.types.functor.Transformable<T>, com.aol.cyclops2.types.factory.Unit<T>, com.aol.cyclops2.types.Unwrapable, com.aol.cyclops2.types.Zippable<T>)
  • cyclops.monads.AnyM2<W,T2,T> (also extends cyclops.monads.AnyM<W,T>, com.aol.cyclops2.types.factory.EmptyUnit<T>, com.aol.cyclops2.types.foldable.Folds<T>, org.reactivestreams.Publisher<T>, com.aol.cyclops2.types.stream.ToStream<T>, com.aol.cyclops2.types.functor.Transformable<T>, com.aol.cyclops2.types.factory.Unit<T>, com.aol.cyclops2.types.Zippable<T>)
• cyclops.monads.Witness
• cyclops.monads.WitnessType<W>
  • cyclops.monads.ReactorWitness.FluxWitness<W>
  • cyclops.monads.ReactorWitness.MonoWitness<W>
  • cyclops.monads.Witness.CollectionXWitness<W>
  • cyclops.monads.Witness.MonadicValueWitness<W>
  • cyclops.monads.Witness.StreamWitness<W>

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • cyclops.monads.Witness.either3 (implements cyclops.monads.Witness.MonadicValueWitness<W>)
    • cyclops.monads.Witness.eval (implements cyclops.monads.Witness.MonadicValueWitness<W>)
    • cyclops.monads.Witness.constant (implements cyclops.monads.WitnessType<W>)
    • cyclops.monads.Witness.completableFuture (implements cyclops.monads.WitnessType<W>)
    • cyclops.monads.Witness.coyoneda (implements cyclops.monads.WitnessType<W>)
    • cyclops.monads.Witness.reactiveSeq (implements cyclops.monads.Witness.StreamWitness<W>)
    • cyclops.monads.Witness.coproduct (implements cyclops.monads.WitnessType<W>)
    • cyclops.monads.Witness.list (implements cyclops.monads.Witness.CollectionXWitness<W>)
    • cyclops.monads.Witness.persistentQueueX (implements cyclops.monads.Witness.CollectionXWitness<W>)
    • cyclops.monads.Witness.cofree (implements cyclops.monads.WitnessType<W>)
    • cyclops.monads.Witness.product (implements cyclops.monads.WitnessType<W>)
    • cyclops.monads.Witness.ior (implements cyclops.monads.Witness.MonadicValueWitness<W>)
    • cyclops.monads.Witness.freeAp (implements cyclops.monads.WitnessType<W>)
    • cyclops.monads.Witness.state (implements cyclops.monads.WitnessType<W>)
    • cyclops.monads.Witness.queue (implements cyclops.monads.Witness.CollectionXWitness<W>)
    • cyclops.monads.Witness.set (implements cyclops.monads.Witness.CollectionXWitness<W>)
    • cyclops.monads.Witness.tryType (implements cyclops.monads.Witness.MonadicValueWitness<W>)
    • cyclops.monads.Witness.maybe (implements cyclops.monads.Witness.MonadicValueWitness<W>)
    • cyclops.monads.Witness.bagX (implements cyclops.monads.Witness.CollectionXWitness<W>)
    • cyclops.monads.Witness.deque (implements cyclops.monads.Witness.CollectionXWitness<W>)
    • cyclops.monads.Witness.kleisli (implements cyclops.monads.WitnessType<W>)
    • cyclops.monads.Witness.xor (implements cyclops.monads.Witness.MonadicValueWitness<W>)
    • cyclops.monads.ReactorWitness.mono (implements cyclops.monads.ReactorWitness.MonoWitness<W>)
    • cyclops.monads.Witness.nested (implements cyclops.monads.WitnessType<W>)
    • cyclops.monads.Witness.streamable (implements cyclops.monads.WitnessType<W>)
    • cyclops.monads.Witness.either5 (implements cyclops.monads.Witness.MonadicValueWitness<W>)
    • cyclops.monads.Witness.predicate (implements cyclops.monads.WitnessType<W>)
    • cyclops.monads.Witness.optional (implements cyclops.monads.WitnessType<W>)
    • cyclops.monads.ReactorWitness.flux (implements cyclops.monads.ReactorWitness.FluxWitness<W>)
    • cyclops.monads.Witness.identity (implements cyclops.monads.WitnessType<W>)
    • cyclops.monads.Witness.either (implements cyclops.monads.Witness.MonadicValueWitness<W>)
    • cyclops.monads.Witness.vectorX (implements cyclops.monads.Witness.CollectionXWitness<W>)
    • cyclops.monads.Witness.supplier (implements cyclops.monads.WitnessType<W>)
    • cyclops.monads.Witness.sortedSet (implements cyclops.monads.Witness.CollectionXWitness<W>)
    • cyclops.monads.Witness.either4 (implements cyclops.monads.Witness.MonadicValueWitness<W>)
    • cyclops.monads.Witness.free (implements cyclops.monads.WitnessType<W>)
    • cyclops.monads.Witness.futureStream (implements cyclops.monads.Witness.StreamWitness<W>)
    • cyclops.monads.Witness.future (implements cyclops.monads.Witness.MonadicValueWitness<W>)
    • cyclops.monads.Witness.stream (implements cyclops.monads.Witness.StreamWitness<W>)
    • cyclops.monads.Witness.linkedListX (implements cyclops.monads.Witness.CollectionXWitness<W>)
    • cyclops.monads.Witness.rws (implements cyclops.monads.WitnessType<W>)
    • cyclops.monads.Witness.reader (implements cyclops.monads.WitnessType<W>)
    • cyclops.monads.Witness.persistentSetX (implements cyclops.monads.Witness.CollectionXWitness<W>)
    • cyclops.monads.Witness.writer (implements cyclops.monads.WitnessType<W>)
    • cyclops.monads.Witness.yoneda (implements cyclops.monads.WitnessType<W>)
    • cyclops.monads.Witness.orderedSetX (implements cyclops.monads.Witness.CollectionXWitness<W>)