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

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