{α : Type} →
  {m : Type → Type} →
    {ω β : Type} →
      [inst : BEq α] →
        [inst_1 : Hashable α] →
          [Monad m] → [inst_3 : STWorld ω m] → [Lean.MonadRecDepth m] → Lean.MonadRecDepth (Lean.MonadCacheT α β m)