Мы знаем, что fmap — это fmap :: Functor f => (a -> b) -> f a -> f b , а sum — это sum :: (Num a, Foldable t) => t a -> a , но приведенный ниже код меня смущает. > :t (fmap sum Just) (fmap sum Just) :: Num b => b...