[Builtins] Use 'Either' in 'asConstant' (#4397)

IntersectMBO · Feb 12, 2022 · afe6dcd · afe6dcd
1 parent e8edc83
commit afe6dcd
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/plutus-core/plutus-core/src/PlutusCore/Builtin/HasConstant.hs b/plutus-core/plutus-core/src/PlutusCore/Builtin/HasConstant.hs
@@ -25,11 +25,12 @@ throwNotAConstant
 throwNotAConstant = throwingWithCause _UnliftingError "Not a constant"
 
 class AsConstant term where
+    -- Switching from 'MonadError' to 'Either' here gave us a speedup of 2-4%.
     -- | Unlift from the 'Constant' constructor throwing an 'UnliftingError' if the provided @term@
     -- is not a 'Constant'.
     asConstant
-        :: (MonadError (ErrorWithCause err cause) m, AsUnliftingError err)
-        => Maybe cause -> term -> m (Some (ValueOf (UniOf term)))
+        :: AsUnliftingError err
+        => Maybe cause -> term -> Either (ErrorWithCause err cause) (Some (ValueOf (UniOf term)))
 
 class FromConstant term where
     -- | Wrap a Haskell value as a @term@.