Собрал все в одном месте...
... и педантично выровнял:
($) :: (a -> b) -> a -> b (<$>) :: Functor f => (a -> b) -> f a -> f b (<*>) :: Applicative f => f (a -> b) -> f a -> f b (=<<) :: Monad m => (a -> m b) -> m a -> m b (&) :: a -> (a -> b) -> b -- Data.Function (<&>) :: Functor f => f a -> (a -> b) -> f b -- Control.Lens.Operators (<**>) :: Applicative f => f a -> f (a -> b) -> f b -- Control.Applicative (>>=) :: Monad m => m a -> (a -> m b) -> m b
($) :: (a -> b) -> a -> b (<$>) :: Functor f => (a -> b) -> f a -> f b (<*>) :: Applicative f => f (a -> b) -> f a -> f b (=<<) :: Monad m => (a -> m b) -> m a -> m b (&) :: a -> (a -> b) -> b -- Data.Function (<&>) :: Functor f => f a -> (a -> b) -> f b -- Control.Lens.Operators (<**>) :: Applicative f => f a -> f (a -> b) -> f b -- Control.Applicative (>>=) :: Monad m => m a -> (a -> m b) -> m b