liftMaybe package:sbv

Construct an SMaybe a from a Maybe (SBV a).
>>> liftMaybe (Just (3 :: SInteger))
Just 3 :: SMaybe Integer

>>> liftMaybe (Nothing :: Maybe SInteger)
Nothing :: SMaybe Integer