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