Could someone explain why the following representation of (<*>) with (=<<) works:
f <*> a = (\f' -> return . f' =<< a) =<< f
Could someone explain why the following representation of (<*>) with (=<<) works:
f <*> a = (\f' -> return . f' =<< a) =<< f