Foldable2
Tagged
fromChecks
HealthReporter
functorK
HealthCheck
HealthResult