higherkindness.skeuomorph.mu.comparison.Comparison
Perform a list of recursive comparisons but return the first positive result (or a mismatch if none), enriched
Perform a list of recursive comparisons but return the first positive result (or a mismatch if none), enriched