diff --git a/src/macros.jl b/src/macros.jl
index 18aa6736..9726d42c 100644
--- a/src/macros.jl
+++ b/src/macros.jl
@@ -478,7 +478,7 @@ macro install(ex)
       typeannot = x.args[2]
     end
     Base.eval(__module__, quote
-        GAP._needs_tracking_julia_to_gap(::Type{$typeannot}) = false
+        GAP._needs_tracking_julia_to_gap(::Type{Sub}) where Sub <: $typeannot = false
       end)
 
     return esc(Expr(