The Tagged instance of Foldable.
The Tagged instance of Foldable. The only place where it should be passed to is sup.HealthReporter.fromChecks, for determining the status of the wrapping check. In other cases, it's probably useless, as it discards the tag completely.