diff --git a/nucleus/src/arch/aarch64/objects.rs b/nucleus/src/arch/aarch64/objects.rs
index e3f4f43..a7d96d9 100644
--- a/nucleus/src/arch/aarch64/objects.rs
+++ b/nucleus/src/arch/aarch64/objects.rs
@@ -67,6 +67,9 @@ trait Untyped {
     fn retype<T: NucleusObject>(target_cap: CapNodeRootedPath, target_cap_offset: usize, num_objects: usize) -> Result<CapSlice>; // @todo return an array of caps?
 }
 
+// with GATs
+// trait Retyped { type Result = CapTable::<T> .. }
+
 // MMU
 
 // ActivePageTable (--> impl VirtSpace for ActivePageTable etc...)