From 0528368266b693753933bd6bf99657f39746b549 Mon Sep 17 00:00:00 2001
From: thma <thma@users.noreply.github.com>
Date: Thu, 15 Nov 2018 17:53:12 +0100
Subject: [PATCH] Update Coerce.hs

---
 src/Coerce.hs | 13 +------------
 1 file changed, 1 insertion(+), 12 deletions(-)

diff --git a/src/Coerce.hs b/src/Coerce.hs
index 80aa40d..b8e7cdc 100644
--- a/src/Coerce.hs
+++ b/src/Coerce.hs
@@ -10,7 +10,7 @@ import Control.Monad.State.Lazy         -- State Monad
 import Data.Typeable
   
 -- | This module provides explicit coercion.
---   Just in case you want to know what's behind the "magic" Data.Coerce.coerce 
+--   Instead of the "magic" Data.Coerce.coerce you could use wrap and unwrap to explicitely write the coercions.
 class Coerce a b | a -> b where
     unwrap :: a -> b
     wrap   :: b -> a
@@ -40,14 +40,3 @@ instance Coerce (m a) c => Coerce (WrappedMonad m a) c where
 instance Coerce (State s a) (s -> (a,s)) where
     unwrap = runState
     wrap   = state
-
-coerce :: (Coerce a b, Coerce b a, Typeable a, Typeable b) => a -> b
-coerce = undefined
-{--
-coerce x = let u = wrap x
-               d = unwrap x
-               --ta = typeRep ([] :: [a])
-               tb = typeRep ([] :: [b])
-           in  if (typeOf u == tb) then u
-               else d
---}
\ No newline at end of file