Fix recursive case of combine @(->) @These @(,) (ListT m)

cofree-coffee · Jan 16, 2024 · ea250aa · ea250aa
1 parent e51085d
commit ea250aa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/chat-bots/src/Control/Monad/ListT.hs b/chat-bots/src/Control/Monad/ListT.hs
@@ -100,7 +100,7 @@ instance Monad m => Functor.Semigroupal (->) These (,) (ListT m) where
       (NilF, NilF) -> NilF
       (ConsF x' xs, NilF) -> ConsF (This x') (fmap This xs)
       (NilF, ConsF y' ys) -> ConsF (That y') (fmap That ys)
-      (ConsF x' xs, ConsF y' ys) -> ConsF (These x' y') (align xs ys)
+      (ConsF x' xs, ConsF y' ys) -> ConsF (These x' y') (Functor.combine (xs, ys))
 
 instance MonadTrans ListT where
   lift :: Monad m => m a -> ListT m a