mapK

HealthCheck

mapResult

HealthCheck

mods

sup

monoid

HealthResult