From 693eb039ed883f80ac5406979b73b179d6b020cc Mon Sep 17 00:00:00 2001
From: Ryan Scott <rscott@galois.com>
Date: Tue, 29 Oct 2024 16:14:58 -0400
Subject: [PATCH] Remove redundant Typeable instances

GHC now auto-derived `Typeable` instances since GHC 7.10, making the manually
derived `Typeable` instances in this library redundant. In GHC 9.12, `-Wall`
warns about these, so let's remove them.
---
 src/Data/Functor/Contravariant/Day.hs | 3 ---
 src/Data/Functor/Day.hs               | 3 ---
 2 files changed, 6 deletions(-)

diff --git a/src/Data/Functor/Contravariant/Day.hs b/src/Data/Functor/Contravariant/Day.hs
index 35d15ab..39db801 100644
--- a/src/Data/Functor/Contravariant/Day.hs
+++ b/src/Data/Functor/Contravariant/Day.hs
@@ -3,7 +3,6 @@
 {-# LANGUAGE Rank2Types #-}
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE UndecidableInstances #-}
-{-# LANGUAGE DeriveDataTypeable #-}
 {-# LANGUAGE KindSignatures #-}
 -----------------------------------------------------------------------------
 -- |
@@ -39,11 +38,9 @@ import Data.Functor.Contravariant.Adjunction
 import Data.Functor.Contravariant.Divisible
 import Data.Proxy
 import Data.Tuple (swap)
-import Data.Typeable
 
 -- | The Day convolution of two contravariant functors.
 data Day f g a = forall b c. Day (f b) (g c) (a -> (b, c))
-  deriving Typeable
 
 -- | Construct the Day convolution
 --
diff --git a/src/Data/Functor/Day.hs b/src/Data/Functor/Day.hs
index 2a368d0..291b52c 100644
--- a/src/Data/Functor/Day.hs
+++ b/src/Data/Functor/Day.hs
@@ -1,7 +1,6 @@
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE ExistentialQuantification #-}
 {-# LANGUAGE KindSignatures #-}
-{-# LANGUAGE DeriveDataTypeable #-}
 {-# LANGUAGE RankNTypes #-}
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE UndecidableInstances #-}
@@ -49,12 +48,10 @@ import Data.Profunctor.Composition (Procompose(..))
 import Data.Functor.Adjunction
 import Data.Functor.Identity
 import Data.Functor.Rep
-import Data.Typeable
 import Prelude hiding (id,(.))
 
 -- | The Day convolution of two covariant functors.
 data Day f g a = forall b c. Day (f b) (g c) (b -> c -> a)
-  deriving Typeable
 
 -- | Construct the Day convolution
 day :: f (a -> b) -> g a -> Day f g b