Technically working, but I need a cleaner way to pass personA and

journalA into a list context...

1 files changed, 7 insertions, 1 deletions

diff --git a/src/Prolog.hs b/src/Prolog.hs
index 94a6eb6..f7e72eb 100644
--- a/src/Prolog.hs
+++ b/src/Prolog.hs
@@ -23,6 +23,7 @@ module Prolog
     , Binary
     , Generic
     , Generic1
+    , Typeable
     , Generically (..)
     , MonadThrow (..)
     , Exception (..)
@@ -89,6 +90,8 @@ import Data.String
 import Data.String.Conv
 import Data.Text qualified as T
 import Data.Text.Lazy qualified as TL
+import Data.Time qualified as Time
+import Data.Typeable (Typeable)
 import GHC.Generics
 import Network.URI
 
@@ -186,7 +189,7 @@ rebaseWith :: (Applicative m, Comonad w) => (a -> b) -> w a -> m b
 rebaseWith f = rebaseWithM $ pure . f
 {-# INLINE rebaseWith #-}
 
-rebaseWithM :: (Applicative m, Comonad w) => (a -> m b) -> w a -> m b
+rebaseWithM :: (Comonad w) => (a -> m b) -> w a -> m b
 rebaseWithM f = f . extract
 {-# INLINE rebaseWithM #-}
 
@@ -311,3 +314,6 @@ instance MonadThrow H.Compiler where
 -- | Huh, I guess I need a version bump for this guy?
 instance A.FromJSON URI where
     parseJSON = A.withText "URI" $ maybe (fail "Invalid URI") pure . parseURI . toSL
+
+deriving instance Generic Time.Day
+deriving newtype instance Binary Time.Day