1 files changed, 2 insertions, 2 deletions
diff --git a/B.agda b/B.agda
index 5c73dd4..d6087d8 100644
--- a/B.agda
+++ b/B.agda
@@ -16,10 +16,10 @@ module B where
 open import B.Prelude.Bool public
 open import B.Prelude.BooleanAlgebra public
 open import B.Prelude.Char public
+open import B.Prelude.Eq public
+open import B.Prelude.Functor public
 open import B.Prelude.List public
 open import B.Prelude.Maybe public
 open import B.Prelude.Product public
 open import B.Prelude.String public
 open import B.Prelude.Sum public
-
-open import B.Prelude.Eq public