diff --git a/src/Functors.jl b/src/Functors.jl
index 71e0c8b..89bf7ef 100644
--- a/src/Functors.jl
+++ b/src/Functors.jl
@@ -7,6 +7,7 @@ export @functor, @flexiblefunctor, fmap, fmapstructure, fcollect, execute, fleav
 include("functor.jl")
 include("keypath.jl")
 include("walks.jl")
+include("cache.jl")
 include("maps.jl")
 include("base.jl")
 
diff --git a/src/cache.jl b/src/cache.jl
new file mode 100644
index 0000000..a4af472
--- /dev/null
+++ b/src/cache.jl
@@ -0,0 +1,58 @@
+struct WalkCache{K, V, W <: AbstractWalk, C <: AbstractDict{K, V}} <: AbstractDict{K, V}
+  walk::W
+  cache::C
+  WalkCache(walk, cache::AbstractDict{K, V} = IdDict()) where {K, V} = new{K, V, typeof(walk), typeof(cache)}(walk, cache)
+end
+Base.length(cache::WalkCache) = length(cache.cache)
+Base.empty!(cache::WalkCache) = empty!(cache.cache)
+Base.haskey(cache::WalkCache, x) = haskey(cache.cache, x)
+Base.get(cache::WalkCache, x, default) = haskey(cache.cache, x) ? cache[x] : default
+Base.iterate(cache::WalkCache, state...) = iterate(cache.cache, state...)
+Base.setindex!(cache::WalkCache, value, key) = setindex!(cache.cache, value, key)
+Base.getindex(cache::WalkCache, x) = cache.cache[x]
+
+@static if VERSION >= v"1.10.0-DEV.609"
+    function __cacheget_generator__(world, source, self, cache, x, args #= for `return_type` only =#)
+        # :(return cache.cache[x]::(return_type(cache.walk, typeof(args))))
+        walk = cache.parameters[3]
+        RT = Core.Compiler.return_type(Tuple{walk, args...}, world)
+        body = Expr(:call, GlobalRef(Base, :getindex), Expr(:., :cache, QuoteNode(:cache)), :x)
+        if RT != Any
+            body = Expr(:(::), body, RT)
+        end
+        expr = Expr(:lambda, [Symbol("#self#"), :cache, :x, :args],
+                    Expr(Symbol("scope-block"), Expr(:block, Expr(:meta, :inline), Expr(:return, body))))
+        ci = ccall(:jl_expand, Any, (Any, Any), expr, @__MODULE__)
+        ci.inlineable = true
+        return ci
+    end
+    @eval function cacheget(cache::WalkCache, x, args...)
+        $(Expr(:meta, :generated, __cacheget_generator__))
+        $(Expr(:meta, :generated_only))
+    end
+else
+    @generated function cacheget(cache::WalkCache, x, args...)
+        walk = cache.parameters[3]
+        world = typemax(UInt)
+        @static if VERSION >= v"1.8"
+            RT = Core.Compiler.return_type(Tuple{walk, args...}, world)
+        else
+            if isdefined(walk, :instance)
+                RT = Core.Compiler.return_type(walk.instance, Tuple{args...}, world)
+            else
+                RT = Any
+            end
+        end
+        body = Expr(:call, GlobalRef(Base, :getindex), Expr(:., :cache, QuoteNode(:cache)), :x)
+        if RT != Any
+            body = Expr(:(::), body, RT)
+        end
+        expr = Expr(:lambda, [Symbol("#self#"), :cache, :x, :args],
+                    Expr(Symbol("scope-block"), Expr(:block, Expr(:meta, :inline), Expr(:return, body))))
+        ci = ccall(:jl_expand, Any, (Any, Any), expr, @__MODULE__)
+        ci.inlineable = true
+        return ci
+    end
+end
+# fallback behavior that only lookup for `x`
+@inline cacheget(cache::AbstractDict, x, args...) = cache[x]
diff --git a/src/keypath.jl b/src/keypath.jl
index f64be1d..acca6f5 100644
--- a/src/keypath.jl
+++ b/src/keypath.jl
@@ -131,9 +131,9 @@ See also [`KeyPath`](@ref) and [`getkeypath`](@ref).
 # Examples
 ```jldoctest
 julia> x = Dict(:a => 3, :b => Dict(:c => 4, "d" => [5, 6, 7]))
-Dict{Any,Any} with 2 entries:
+Dict{Symbol, Any} with 2 entries:
   :a => 3
-  :b => Dict{Any,Any}(:c=>4,"d"=>[5, 6, 7])
+  :b => Dict{Any, Any}(:c=>4, "d"=>[5, 6, 7])
 
 julia> haskeypath(x, KeyPath(:a))
 true
diff --git a/src/maps.jl b/src/maps.jl
index 50986db..5cc145c 100644
--- a/src/maps.jl
+++ b/src/maps.jl
@@ -6,7 +6,7 @@ function fmap(f, x, ys...; exclude = isleaf,
                            prune = NoKeyword())
   _walk = ExcludeWalk(AnonymousWalk(walk), f, exclude)
   if !isnothing(cache)
-    _walk = CachedWalk(_walk, prune, cache)
+    _walk = CachedWalk(_walk, prune, WalkCache(_walk, cache))
   end
   execute(_walk, x, ys...)
 end
@@ -18,7 +18,7 @@ function fmap_with_path(f, x, ys...; exclude = isleaf,
   
   _walk = ExcludeWalkWithKeyPath(walk, f, exclude)
   if !isnothing(cache)
-    _walk = CachedWalkWithPath(_walk, prune, cache)
+    _walk = CachedWalkWithPath(_walk, prune, WalkCache(_walk, cache))
   end
   return execute(_walk, KeyPath(), x, ys...)
 end
diff --git a/src/walks.jl b/src/walks.jl
index e5db2a3..77008af 100644
--- a/src/walks.jl
+++ b/src/walks.jl
@@ -179,10 +179,10 @@ Whenever the cache already contains `x`, either:
 
 Typically wraps an existing `walk` for use with [`fmap`](@ref).
 """
-struct CachedWalk{T, S} <: AbstractWalk
+struct CachedWalk{T, S, C <: AbstractDict} <: AbstractWalk
   walk::T
   prune::S
-  cache::IdDict{Any, Any}
+  cache::C
 end
 CachedWalk(walk; prune = NoKeyword(), cache = IdDict()) =
   CachedWalk(walk, prune, cache)
@@ -190,7 +190,7 @@ CachedWalk(walk; prune = NoKeyword(), cache = IdDict()) =
 function (walk::CachedWalk)(recurse, x, ys...)
   should_cache = usecache(walk.cache, x)
   if should_cache && haskey(walk.cache, x)
-    return walk.prune isa NoKeyword ? walk.cache[x] : walk.prune
+    return walk.prune isa NoKeyword ? cacheget(walk.cache, x, recurse, x, ys...) : walk.prune
   else
     ret = walk.walk(recurse, x, ys...)
     if should_cache
@@ -200,10 +200,10 @@ function (walk::CachedWalk)(recurse, x, ys...)
   end
 end
 
-struct CachedWalkWithPath{T, S} <: AbstractWalk
+struct CachedWalkWithPath{T, S, C <: AbstractDict} <: AbstractWalk
   walk::T
   prune::S
-  cache::IdDict{Any, Any}
+  cache::C
 end
 
 CachedWalkWithPath(walk; prune = NoKeyword(), cache = IdDict()) =
@@ -212,7 +212,7 @@ CachedWalkWithPath(walk; prune = NoKeyword(), cache = IdDict()) =
 function (walk::CachedWalkWithPath)(recurse, kp::KeyPath, x, ys...)
   should_cache = usecache(walk.cache, x)
   if should_cache && haskey(walk.cache, x)
-    return walk.prune isa NoKeyword ? walk.cache[x] : walk.prune
+    return walk.prune isa NoKeyword ? cacheget(walk.cache, x, recurse, kp, x, ys...) : walk.prune
   else
     ret = walk.walk(recurse, kp, x, ys...)
     if should_cache