Re: [Haskell-cafe] Haskell function composition commutivity?

13 Apr 2021


      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.