КР
> X - это точка, что ли?
В каком смысле "точка"? В смысле "как композиция обычных фукнций, но функторов"? Если так, то да
(.) :: (b -> c) -> (a -> b) -> (a -> c)
(<=<) :: (b -> m c) -> (a -> m b) -> (a -> m c)
Size: a a a
КР
> X - это точка, что ли?
(.) :: (b -> c) -> (a -> b) -> (a -> c)
(<=<) :: (b -> m c) -> (a -> m b) -> (a -> m c)
I
class Monad m where
(>=>) :: (a -> m b) -> (b -> m c) -> (a -> m c)
pure :: a -> m a
I
AM
IP
AN
IP
AN
IP
IP
IP
AN
IP
IP
АХ
IP
AN
AN
IP
AN