From bb24c13870abed49d369dff41c28185ef9c9574a Mon Sep 17 00:00:00 2001
From: Gary Burgess <gary.burgess@gmail.com>
Date: Wed, 17 Dec 2014 20:42:08 +0000
Subject: [PATCH] Remove Ref instance

---
 README.md                 |  4 ----
 src/Data/Foldable.purs    |  9 ---------
 src/Data/Traversable.purs | 11 ++---------
 3 files changed, 2 insertions(+), 22 deletions(-)

diff --git a/README.md b/README.md
index 6ae1c3b..a71db57 100644
--- a/README.md
+++ b/README.md
@@ -18,8 +18,6 @@
 
     instance foldableMaybe :: Foldable Maybe
 
-    instance foldableRef :: Foldable Ref
-
     instance foldableTuple :: Foldable (Tuple a)
 
 
@@ -94,8 +92,6 @@
 
     instance traversableMaybe :: Traversable Maybe
 
-    instance traversableRef :: Traversable Ref
-
     instance traversableTuple :: Traversable (Tuple a)
 
 
diff --git a/src/Data/Foldable.purs b/src/Data/Foldable.purs
index 36407a3..5be4ded 100644
--- a/src/Data/Foldable.purs
+++ b/src/Data/Foldable.purs
@@ -1,9 +1,7 @@
 module Data.Foldable where
 
-import Prelude
 import Control.Apply
 import Data.Either
-import Data.Eq
 import Data.Maybe
 import Data.Monoid
 import Data.Monoid.First
@@ -41,13 +39,6 @@ instance foldableMaybe :: Foldable Maybe where
   foldMap f Nothing  = mempty
   foldMap f (Just x) = f x
 
-instance foldableRef :: Foldable Ref where
-  foldr f z (Ref x) = x `f` z
-
-  foldl f z (Ref x) = z `f` x
-
-  foldMap f (Ref x) = f x
-
 instance foldableTuple :: Foldable (Tuple a) where
   foldr f z (Tuple _ x) = x `f` z
 
diff --git a/src/Data/Traversable.purs b/src/Data/Traversable.purs
index c4a0744..ea7318f 100644
--- a/src/Data/Traversable.purs
+++ b/src/Data/Traversable.purs
@@ -1,4 +1,4 @@
-module Data.Traversable 
+module Data.Traversable
   ( Traversable
   , traverse
   , sequence
@@ -8,10 +8,8 @@ module Data.Traversable
   , mapAccumR
   ) where
 
-import Prelude
 import Data.Array (zipWith)
 import Data.Either
-import Data.Eq
 import Data.Foldable
 import Data.Maybe
 import Data.Tuple
@@ -34,11 +32,6 @@ instance traversableEither :: Traversable (Either a) where
   sequence (Left x) = pure (Left x)
   sequence (Right x)  = Right <$> x
 
-instance traversableRef :: Traversable Ref where
-  traverse f (Ref x) = Ref <$> f x
-
-  sequence (Ref x) = Ref <$> x
-
 instance traversableMaybe :: Traversable Maybe where
   traverse _ Nothing  = pure Nothing
   traverse f (Just x) = Just <$> f x
@@ -85,7 +78,7 @@ stateR (StateR k) = k
 instance functorStateR :: Functor (StateR s) where
   (<$>) f k = StateR $ \s -> case stateR k s of
     Tuple s1 a -> Tuple s1 (f a)
-                                            
+
 instance applyStateR :: Apply (StateR s) where
   (<*>) f x = StateR $ \s -> case stateR x s of
     Tuple s1 x' -> case stateR f s1 of