Var: m refactor

Author: Anton-Latukha

src/Nix/Var.hs

@@ -15,6 +15,7 @@ import           Data.STRef
 import           Type.Reflection ((:~:)(Refl))
 
 import           Unsafe.Coerce
+import           Data.Bool          ( bool )
 
 type Var m = Ref m
 
@@ -37,7 +38,15 @@ atomicModifyVar = atomicModifyRef
 
 --TODO: Upstream GEq instances
 instance GEq IORef where
-  a `geq` b = if a == unsafeCoerce b then Just $ unsafeCoerce Refl else Nothing
+  a `geq` b =
+    bool
+      Nothing
+      (pure $ unsafeCoerce Refl)
+      (a == unsafeCoerce b )
 
 instance GEq (STRef s) where
-  a `geq` b = if a == unsafeCoerce b then Just $ unsafeCoerce Refl else Nothing
+  a `geq` b =
+    bool
+      Nothing
+      (pure $ unsafeCoerce Refl )
+      (a == unsafeCoerce b)