Fix build: remove stale constraint

diff --git a/src/Dyna/Analysis/NormalizeParseSelftest.hs b/src/Dyna/Analysis/NormalizeParseSelftest.hs
index ed28c3d5b9dd6360a9043847c791d7f9ea60ceee..616115a94948b0211fcb7f8e4a8f1a2d8b7f8933 100644 (file)
--- a/src/Dyna/Analysis/NormalizeParseSelftest.hs
+++ b/src/Dyna/Analysis/NormalizeParseSelftest.hs
@@ -12,8 +12,8 @@ import qualified Dyna.ParserHS.Parser         as P
 import           Dyna.Term.TTerm
 import           Dyna.XXX.TrifectaTest
 
-testNormTerm :: Monad m => B.ByteString -> (DTerm, ANFState)
+testNormTerm :: B.ByteString -> (DTerm, ANFState)
 testNormTerm = runNormalize . normTerm False . unsafeParse P.dterm
 
-testNormRule :: Monad m => B.ByteString -> (DRule, ANFState)
+testNormRule :: B.ByteString -> (DRule, ANFState)
 testNormRule = runNormalize . normRule . unsafeParse P.drule