diff --git a/src/Data/Refined.idr b/src/Data/Refined.idr
index 2906eb7..51b1ffe 100644
--- a/src/Data/Refined.idr
+++ b/src/Data/Refined.idr
@@ -1,5 +1,7 @@
 module Data.Refined
 
+import public Control.Relation
+import public Control.Relation.ReflexiveClosure
 import public Data.List
 import public Data.Refined.List
 import public Data.Refined.Nat