`(a -> b) -> (c -> d)` in Haskell? Languages

`(a -> b) -> (c -> d)` in Haskell?

This is yet another Haskell-through-category-theory question.Let's take something simple and well-known as an example. fmap? So fmap :: (a -> b) -> f a -> f b, omitting the fact that f is actually a Functor. As far as I understand, (a -> b) -> f a -> f b...
Read More