Foldable2
Tagged
fromChecks
HealthReporter
functorK
HealthCheck HealthResult