{-# 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