diff --git a/ogma-core/src/Command/FRETComponentSpec2Copilot.hs b/ogma-core/src/Command/FRETComponentSpec2Copilot.hs
index fcf2144..74ed887 100644
--- a/ogma-core/src/Command/FRETComponentSpec2Copilot.hs
+++ b/ogma-core/src/Command/FRETComponentSpec2Copilot.hs
@@ -41,9 +41,9 @@ module Command.FRETComponentSpec2Copilot
   where
 
 -- External imports
-import Control.Monad.IfElse ( awhen )
 import Data.Aeson           ( eitherDecode, decode )
 import Data.ByteString.Lazy (fromStrict)
+import Data.Foldable        (for_)
 
 -- External imports: auxiliary
 import Data.ByteString.Extra as B ( safeReadFile )
@@ -91,7 +91,7 @@ fretComponentSpec2Copilot fp options = do
   let (mOutput, result) =
         fretComponentSpec2CopilotResult options fp copilot
 
-  awhen mOutput putStrLn
+  for_ mOutput putStrLn
   return result
 
 -- | Print the contents of a Copilot module that implements the Past-time TL
diff --git a/ogma-core/src/Command/FRETReqsDB2Copilot.hs b/ogma-core/src/Command/FRETReqsDB2Copilot.hs
index ee6d100..7dc52b9 100644
--- a/ogma-core/src/Command/FRETReqsDB2Copilot.hs
+++ b/ogma-core/src/Command/FRETReqsDB2Copilot.hs
@@ -39,9 +39,9 @@ module Command.FRETReqsDB2Copilot
   where
 
 -- External imports
-import Control.Monad.IfElse ( awhen )
-import Data.Aeson           ( eitherDecode )
-import Data.List            ( nub, (\\) )
+import Data.Aeson    (eitherDecode)
+import Data.Foldable (for_)
+import Data.List     (nub, (\\))
 
 -- External imports: auxiliary
 import Data.ByteString.Extra as B ( safeReadFile )
@@ -88,7 +88,7 @@ fretReqsDB2Copilot fp options = do
   let (mOutput, result) =
         fretReqsDB2CopilotResult options fp copilot
 
-  awhen mOutput putStrLn
+  for_ mOutput putStrLn
   return result
 
 -- | Print the contents of a Copilot module that implements the Past-time TL