Type Members

1.  type Aux[F[_], C[_], S] = Thereafter[F] { ... /* 2 definitions in type refinement */ }

   Make the dependent Content type explicit as a type argument to help with type inference.

   Make the dependent Content type explicit as a type argument to help with type inference.

   The construction is the same as in shapeless. [The Type Astronaut's Guide to Shapeless Book](https://underscore.io/books/shapeless-guide/) explains the idea in Chapter 4.2.

2.  trait ComposedThereafter[F[_], FContent[_], FShape, G[_], GContent[_], GShape] extends Thereafter[[a]F[G[a]]]
3.  type ComposedThereafterContent[FContent[_], GContent[_], A] = FContent[GContent[A]]
4.  trait EitherTThereafter[F[_], E, FContent[_], FShape] extends Thereafter[[γ$0$]EitherT[F, E, γ$0$]]
5.  type EitherTThereafterContent[Content[_], E, A] = Content[Either[E, A]]

   Use a type synonym instead of a type lambda so that the Scala compiler does not get confused during implicit resolution, at least for simple cases.

6.  class FutureThereafter extends Thereafter[Future]

   Thereafter instance for scala.concurrent.Futures

7.  trait NestedThereafter[F[_], FContent[_], FShape, G[_], GContent[_], GShape] extends Thereafter[[γ$8$]Nested[F, G, γ$8$]]
8.  trait Ops[F[_], C[_], S, A] extends Serializable
9.  trait OptionTThereafter[F[_], FContent[_], FShape] extends Thereafter[[β$4$]OptionT[F, β$4$]]
10.  type OptionTThereafterContent[Content[_], A] = Content[Option[A]]

    Use a type synonym instead of a type lambda so that the Scala compiler does not get confused during implicit resolution, at least for simple cases.