[Haskell-cafe] Haskell function composition commutivity?

[Viktor Dukhovni]

On Tue, Apr 13, 2021 at 01:06:41PM -0400, Viktor Dukhovni wrote:

> - Yoneda Lemma: Given a functor f and some function `foo`
>   with signature:
> 
>       foo :: forall a. (a -> b) -> f b

Sorry, typo, should be:

    foo :: forall b. (a -> b) -> f b

-- 
    Viktor.