Я могу определить их, используя монады. (<*) :: Monad m => m a -> m b -> m a (<*) fa...

В Haskell Applicative считаются более сильными, чем Functor, что означает, что мы можем определить...