{m : Type → Type} →
  [Monad m] →
    [Lean.MonadError m] →
      [MonadLiftT IO m] →
        [MonadLiftT Lean.CoreM m] →
          [Lean.MonadEnv m] → {α : Type} → Aesop.RuleSetName → (Aesop.GlobalRuleSet → α × Aesop.GlobalRuleSet) → m α