diff --git a/hs2ats.cabal b/hs2ats.cabal
--- a/hs2ats.cabal
+++ b/hs2ats.cabal
@@ -1,6 +1,6 @@
 cabal-version: 1.18
 name: hs2ats
-version: 0.3.0.0
+version: 0.3.0.1
 license: BSD3
 license-file: LICENSE
 copyright: Copyright: (c) 2018 Vanessa McHale
@@ -43,7 +43,7 @@
         haskell-src-exts -any,
         language-ats >=1.0.0.0,
         casing -any,
-        microlens -any,
+        lens -any,
         ansi-wl-pprint -any,
         composition-prelude -any,
         deepseq -any,
@@ -54,7 +54,6 @@
     
     if impl(ghc >=8.0)
         ghc-options: -Wincomplete-uni-patterns -Wincomplete-record-updates
-                     -Wcompat
 
 executable hs2ats
     main-is: Main.hs
@@ -74,7 +73,6 @@
     
     if impl(ghc >=8.0)
         ghc-options: -Wincomplete-uni-patterns -Wincomplete-record-updates
-                     -Wcompat
 
 test-suite hs2ats-test
     type: exitcode-stdio-1.0
@@ -94,7 +92,6 @@
     
     if impl(ghc >=8.0)
         ghc-options: -Wincomplete-uni-patterns -Wincomplete-record-updates
-                     -Wcompat
 
 benchmark hs2ats-bench
     type: exitcode-stdio-1.0
@@ -112,4 +109,3 @@
     
     if impl(ghc >=8.0)
         ghc-options: -Wincomplete-uni-patterns -Wincomplete-record-updates
-                     -Wcompat
diff --git a/src/Language/ATS/Generate.hs b/src/Language/ATS/Generate.hs
--- a/src/Language/ATS/Generate.hs
+++ b/src/Language/ATS/Generate.hs
@@ -10,6 +10,7 @@
     ) where
 
 import           Control.Arrow
+import           Control.Lens                 (over, _head)
 import           Data.Bool                    (bool)
 import           Data.Char                    (toUpper)
 import           Data.Either                  (lefts, rights)
@@ -19,7 +20,6 @@
 import           Language.Haskell.Exts
 import           Language.Haskell.Exts.Syntax as HS
 import           Language.Preprocessor.Cpphs  (defaultCpphsOptions, runCpphs)
-import           Lens.Micro                   (over, _head)
 import           Text.Casing                  (quietSnake)
 
 convertConventions :: String -> String
diff --git a/src/Language/ATS/Generate/Error.hs b/src/Language/ATS/Generate/Error.hs
--- a/src/Language/ATS/Generate/Error.hs
+++ b/src/Language/ATS/Generate/Error.hs
@@ -41,5 +41,5 @@
 
 instance Pretty GenerateError where
     pretty (Unsupported s)            = dullyellow "Warning:" <+> "skipping unsupported construct" <$$> indent 2 (squotes (text s)) <> linebreak
-    pretty (HaskellSyntaxError loc s) = red "Error:" <+> "failed to parse" <+> text (show loc) <> colon <$$> indent 2 (text s) <> linebreak
-    pretty (Internal s)               = red "Error:" <+> "internal error: " <$$> indent 2 (text s) <> linebreak
+    pretty (HaskellSyntaxError loc s) = dullred "Error:" <+> "failed to parse" <+> text (show loc) <> colon <$$> indent 2 (text s) <> linebreak
+    pretty (Internal s)               = dullred "Error:" <+> "internal error: " <$$> indent 2 (text s) <> linebreak