O
Size: a a a
MB
MB
O
MB
AC
AC
E
AC
AC
AC
AC
E
AC
AC
AC
AC
AC
O
a -> (a -> b) -> b, у монады оператор bind с типом m a -> (a -> m b) -> m b. сигнатуры действительно похожи, можно сказать, что пайплайн это вставка функции a -> b между a и b, а байнд это вставка функции a -> m b между m a и m b. плюс у монад ещё есть способ a превратить в m a, а у пайплайна тривиальное отображение a в aO