-seqMaybe :: Maybe a -> Maybe a -> Maybe a
-seqMaybe (Just x) _ = Just x
-seqMaybe Nothing my = my
+fmapM_maybe :: Monad m => (a -> m b) -> Maybe a -> m (Maybe b)
+fmapM_maybe _ Nothing = return Nothing
+fmapM_maybe f (Just x) = do
+ x' <- f x
+ return $ Just x'
+\end{code}
+
+%************************************************************************
+%* *
+\subsection[MaybeT type]{The @MaybeT@ monad transformer}
+%* *
+%************************************************************************
+
+\begin{code}