圏論の初歩的な勉強をしています。質問です。

Haskell の Functor class で pure (return) が強制されてないのは、なぜですか？

Applicative (歴史的にはMonad) で、分けて導入する理由は、無いと思えるのですが。