diff --git a/src/Lib.hs b/src/Lib.hs
index 30242ee..9eaeb94 100644
--- a/src/Lib.hs
+++ b/src/Lib.hs
@@ -50,6 +50,11 @@ def = emptyDef{ commentStart = ""
               , reservedNames = ["true", "false"]
               }
 
+m_parens :: ParsecT String u Identity a -> ParsecT String u Identity a
+m_identifier :: ParsecT String u Identity String
+m_reservedOp :: String -> ParsecT String u Identity ()
+m_reserved :: String -> ParsecT String u Identity ()
+m_whiteSpace :: ParsecT String u Identity ()
 TokenParser{ parens = m_parens
            , identifier = m_identifier
            , reservedOp = m_reservedOp
@@ -74,10 +79,8 @@ table = [
                 Infix (m_reservedOp "->" >> return (Binary LogicalImplication)) AssocLeft
             ],
             [
+                Infix (m_reservedOp "=" >> return (Binary LogicalEquality)) AssocLeft,
                 Infix (m_reservedOp "<-->" >> return (Binary LogicalEquality)) AssocLeft
-            ],
-            [
-                Infix (m_reservedOp "=" >> return (Binary LogicalEquality)) AssocLeft
             ]
         ]