higherkindness.skeuomorph.mu.comparison.Comparison
Perform two recursive comparisons and combine their results
Perform two recursive comparisons and combine their results