From 3b33001441a888ae3443def19e516e4c699fb95f Mon Sep 17 00:00:00 2001
From: Oliver Westphal <oliver.westphal@uni-due.de>
Date: Tue, 27 Aug 2024 11:11:18 +0200
Subject: [PATCH] backwards compatible import of liftA2

---
 src/Test/IOTasks/Internal/Term.hs | 2 ++
 src/Test/IOTasks/Z3.hs            | 1 +
 2 files changed, 3 insertions(+)

diff --git a/src/Test/IOTasks/Internal/Term.hs b/src/Test/IOTasks/Internal/Term.hs
index 58e3882..ef22f80 100644
--- a/src/Test/IOTasks/Internal/Term.hs
+++ b/src/Test/IOTasks/Internal/Term.hs
@@ -30,6 +30,8 @@ import Data.Map (Map)
 import qualified Data.Map as Map (lookup)
 import Data.Maybe ( fromMaybe, mapMaybe, maybeToList )
 
+import Control.Applicative (liftA2) -- not redundant for base-4.17.x.x and below!
+
 import Test.IOTasks.Internal.Overflow
 import Test.IOTasks.ValueMap as ValueMap
 import Test.IOTasks.Var
diff --git a/src/Test/IOTasks/Z3.hs b/src/Test/IOTasks/Z3.hs
index 1ace76f..07a25ff 100644
--- a/src/Test/IOTasks/Z3.hs
+++ b/src/Test/IOTasks/Z3.hs
@@ -28,6 +28,7 @@ import Z3.Base (Goal)
 
 import Test.QuickCheck (generate, vectorOf, elements)
 
+import Control.Applicative (liftA2) -- not redundant for base-4.17.x.x and below!
 import Control.Concurrent.STM
 
 import Control.Monad