Type Members

1.  type /=[M[_], R] = MemberInOut[M, R]
2.  type <=[M[_], R] = Member[M, R]
3.  case class EvaluateValue[A](run: Eval[A]) extends Safe[A] with Product with Serializable
4.  case class FailedFinalizer(t: Throwable) extends Safe[Unit] with Product with Serializable
5.  case class FailedValue[A](t: Throwable) extends Safe[A] with Product with Serializable
6.  sealed trait Safe[A] extends AnyRef

   The Safe type is a mix of a ThrowableEither / Eval effect and a writer effect to collect finalizer failures

7.  trait SafeCreation extends SafeTypes
8.  trait SafeEffect extends SafeCreation with SafeInterpretation
9.  trait SafeInterpretation extends SafeCreation
10.  trait SafeTypes extends AnyRef
11.  type |=[M[_], R] = MemberIn[M, R]