The names of the product elements
The name of the type
A monoid that'll return Sick if any of the combined values are sick, Healthy otherwise.