diff --git a/ElgotAlgebras.agda b/ElgotAlgebras.agda
index a5f608a..0fcb8dd 100644
--- a/ElgotAlgebras.agda
+++ b/ElgotAlgebras.agda
@@ -13,7 +13,8 @@ open import ElgotAlgebra
 open import Categories.Category.Distributive
 open import Categories.Category.Extensive.Bundle
 open import Categories.Category.Extensive
-open import Categories.Morphism
+import Categories.Morphism as M
+import Categories.Morphism.Reasoning as MR
 
 module ElgotAlgebras where