Revert "Define a fixpoint over rank-n quantified mendler-style recursive functions."

This reverts commit 8355060.

Author: robrix

semantic-core/src/Analysis/Eval.hs

@@ -1,4 +1,4 @@
-{-# LANGUAGE FlexibleContexts, LambdaCase, OverloadedStrings, RankNTypes, RecordWildCards, ScopedTypeVariables #-}
+{-# LANGUAGE FlexibleContexts, LambdaCase, OverloadedStrings, RankNTypes, RecordWildCards #-}
 module Analysis.Eval
 ( eval
 , prog1
@@ -9,7 +9,6 @@ module Analysis.Eval
 , prog6
 , ruby
 , Analysis(..)
-, fix
 ) where
 
 import Control.Effect.Fail
@@ -27,13 +26,6 @@ import Data.Text (Text)
 import GHC.Stack
 import Prelude hiding (fail)
 
-fix :: forall f a b
-    .  ((forall x . (x -> a) -> f x -> b) -> (forall x . (x -> a) -> f x -> b))
-    -> (forall x . (x -> a) -> f x -> b)
-fix f = x
-  where x :: (x -> a) -> f x -> b
-        x = f x
-
 eval :: ( Carrier sig m
         , Member (Reader Loc) sig
         , MonadFail m