Type Members

1.  final case class Annotated[Case[+_], A](caseValue: Case[Annotated[Case, A]], annotations: A) extends Product with Serializable

   An Annotated[Case, A] is a recursive data structure where each case Case has been annotated with some additional information A.

2.  sealed trait Folder[Case[+_], A] extends (Case[A]) => A
3.  final case class Recursive[Case[+_]](caseValue: Case[Recursive[Case]]) extends Product with Serializable
4.  sealed trait Unfolder[Case[+_], A] extends (A) => Case[A]