Less noisy mean.
Trivial type family instances.
Cosmetic edits.