{ω α β : Type} →
  {m : Type → Type} →
    [inst : STWorld ω m] →
      [inst_1 : BEq α] →
        [inst_2 : Hashable α] → [MonadLiftT (ST ω) m] → [Monad m] → {σ : Type} → Lean.MonadCacheT α β m σ → m σ