## Uses of Interface
com.jnape.palatable.lambda.adt.coproduct.CoProduct8

- Packages that use CoProduct8
  Package | Description
  --- | ---
  com.jnape.palatable.lambda.adt.choice |
  com.jnape.palatable.lambda.adt.coproduct |

- - ### Uses of CoProduct8 in com.jnape.palatable.lambda.adt.choice

    Classes in com.jnape.palatable.lambda.adt.choice that implement CoProduct8
    Modifier and Type | Class and Description
    --- | ---
    `class` | `Choice8<A,B,C,D,E,F,G,H>` Canonical ADT representation of `CoProduct8`.

  - ### Uses of CoProduct8 in com.jnape.palatable.lambda.adt.coproduct

    Classes in com.jnape.palatable.lambda.adt.coproduct with type parameters of type CoProduct8
    Modifier and Type | Interface and Description
    --- | ---
    `interface` | `CoProduct8<A,B,C,D,E,F,G,H,CP8 extends CoProduct8<A,B,C,D,E,F,G,H,?>>` A generalization of the coproduct of eight types.

    Methods in com.jnape.palatable.lambda.adt.coproduct that return CoProduct8
    Modifier and Type | Method and Description
    --- | ---
    `default <H> CoProduct8<A,B,C,D,E,F,G,H,? extends CoProduct8<A,B,C,D,E,F,G,H,?>>` | CoProduct7.`diverge()` Diverge this coproduct by introducing another possible type that it could represent.

    Methods in com.jnape.palatable.lambda.adt.coproduct that return types with arguments of type CoProduct8
    Modifier and Type | Method and Description
    --- | ---
    `default <H> CoProduct8<A,B,C,D,E,F,G,H,? extends CoProduct8<A,B,C,D,E,F,G,H,?>>` | CoProduct7.`diverge()` Diverge this coproduct by introducing another possible type that it could represent.