diff --git a/src/Control/Abstract/Analysis.hs b/src/Control/Abstract/Analysis.hs
index 9f70692a1..f36eaa09e 100644
--- a/src/Control/Abstract/Analysis.hs
+++ b/src/Control/Abstract/Analysis.hs
@@ -38,10 +38,10 @@ liftAnalyze :: ( term ~ TermFor m
                , term ~ TermFor (t m)
                , value ~ ValueFor m
                , value ~ ValueFor (t m)
+               , Coercible (m value) (t m value)
+               , Coercible (t m value) (m value)
                , Functor (Base term)
                , MonadAnalysis m
-               , Coercible (t m value) (m value)
-               , Coercible (m value) (t m value)
                )
             => SubtermAlgebra (Base term) term (t m value)
 liftAnalyze term = pack1 (analyzeTerm (second unpack1 <$> term))