1 files changed, 12 insertions, 0 deletions

diff --git a/src/Refined/AEq.hs b/src/Refined/AEq.hs
new file mode 100644
index 0000000..0a60679
--- /dev/null
+++ b/src/Refined/AEq.hs
@@ -0,0 +1,12 @@
+{-# OPTIONS_GHC -fno-warn-orphans #-}
+
+module Refined.AEq where
+
+import Data.AEq
+import Refined
+
+import Data.Function (on)
+
+instance AEq a => AEq (Refined p a) where
+  (===) = (===) `on` unrefine
+  (~==) = (~==) `on` unrefine