Update eras/allegra/impl/src/Cardano/Ledger/Allegra/Scripts.hs

Co-authored-by: teodanciu <teodora.danciu@tweag.io>

Author: Soupstraw

eras/allegra/impl/src/Cardano/Ledger/Allegra/Scripts.hs

@@ -127,10 +127,7 @@ invalidBeforeL :: Lens' ValidityInterval (Maybe SlotNo)
 invalidBeforeL = lens g s
   where
     g :: ValidityInterval -> Maybe SlotNo
-    g (ValidityInterval ma _) =
-      case ma of
-        SNothing -> Nothing
-        SJust a -> Just a
+    g (ValidityInterval ma _) = strictMaybeToMaybe
 
     s :: ValidityInterval -> Maybe SlotNo -> ValidityInterval
     s (ValidityInterval _ b) a = ValidityInterval (maybe SNothing SJust a) b