class  Functor f  where
    fmap              :: (a -> b) -> f a -> f b

instance Functor Maybe where

    fmap f Nothing    =  Nothing
    fmap f (Just x)   =  Just (f x)

instance Functor IO where

   fmap f x           =  x >>= (return . f)

instance Functor [] where

    fmap = map