diff --git a/src/Cryptol/Eval.hs b/src/Cryptol/Eval.hs
index 68ffa19d..97639e3c 100644
--- a/src/Cryptol/Eval.hs
+++ b/src/Cryptol/Eval.hs
@@ -29,11 +29,11 @@ import Cryptol.Utils.PP
 import Cryptol.Prims.Eval
 
 import qualified Data.Map as Map
-import Data.Traversable (sequenceA)
 
 #if __GLASGOW_HASKELL__ < 710
 import Control.Applicative (Applicative(..))
 import Data.Monoid (Monoid(..),mconcat)
+import Data.Traversable (sequenceA)
 #endif
 
 -- Expression Evaluation -------------------------------------------------------