{motive : Aesop.ForwardRuleStateStats → Sort u} →
  ((ruleName : Aesop.RuleName) →
      (clusterStateStats : Array Aesop.ForwardClusterStateStats) →
        motive { ruleName := ruleName, clusterStateStats := clusterStateStats }) →
    (t : Aesop.ForwardRuleStateStats) → motive t