Make sure Felix.Instances.Function.Lift is typechecked

This module was omitted in `Felix.All` so it wasn't typechecked in the CI. This has led to it being broken with new instance resolution algorithm. Now it shouldn't get out of sync.
conal · Apr 8, 2024 · e5aff0a · e5aff0a
1 parent 3a336c3
commit e5aff0a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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