@@ -24,6 +24,10 @@ class FunctorMaybe f where
24 -- | Combined mapping and filtering function.
24 -- | Combined mapping and filtering function.
25 fmapMaybe :: (a -> Maybe b) -> f a -> f b
25 fmapMaybe :: (a -> Maybe b) -> f a -> f b
27+-- | @fmapMaybe = (=<<)
28+instance FunctorMaybe Maybe where
27-- | @fmapMaybe f = catMaybes . fmap f@
31-- | @fmapMaybe f = catMaybes . fmap f@
28instance FunctorMaybe [] where
32instance FunctorMaybe [] where
29 fmapMaybe f = catMaybes . fmap f
33 fmapMaybe f = catMaybes . fmap f