as the author just realized :-P, we can fmap (a -> b), too module FunctorAb where -- (a -> b) overTen:: Int -> Bool overTen x | x > 10 = True | otherwise = False -- maybe maybe1::Maybe Int -> Maybe Bool maybe1 mi = overTen <$> mi -- list list1::[Int] -> [Bool] list1 l = overTen <$> l