diff --git a/src/Felix/All.agda b/src/Felix/All.agda
index 8837fe1..bfabf06 100644
--- a/src/Felix/All.agda
+++ b/src/Felix/All.agda
@@ -20,4 +20,5 @@ import Felix.Construct.Comma
 import Felix.Construct.Arrow
 
 import Felix.Instances.Function
+import Felix.Instances.Function.Lift
 import Felix.Instances.Identity