Type Members

1.  type HealthCheckEndoMod[F[_], H[_]] = (HealthCheck[F, H]) ⇒ HealthCheck[F, H]
2.  type HealthCheckMod[F[_], H[_], G[_], I[_]] = (HealthCheck[F, H]) ⇒ HealthCheck[G, I]
3.  type HealthReporter[F[_], G[_], H[_]] = HealthCheck[F, [γ$0$]Report[G, H, γ$0$]]