История изменений
Исправление hateyoufeel, (текущая версия) :
Теперь перейдем к bind. Аналогично введем f.bind’(g)(x)=f(x).bind(g) который по-сути совпадает с bind
Ну это <=< и есть.
ghci> :t (<=<)
(<=<) :: Monad m => (b -> m c) -> (a -> m b) -> a -> m c
ghci> :t (=<<)
(=<<) :: Monad m => (a -> m b) -> m a -> m b
Видишь фишку?
Исходная версия hateyoufeel, :
Теперь перейдем к bind. Аналогично введем f.bind’(g)(x)=f(x).bind(g) который по-сути совпадает с bind
Ну это <=< и есть.