为什么pointfree.io选择liftM2而不是liftA2？

Question

我最近在ISBN Verifier为Exercism练习编写了一个解决方案，当我通过pointfree.io运行此功能时：

\c -> isDigit c || c == 'X'

我回来了：

liftM2 (||) isDigit ('X' ==)

为什么pointfree.io从liftM2中选择Control.Monad而不是liftA2中的Control.Applicative？

Answer 1

事实是Control.Monad比Control.Applicative年长。

Monads已经在Haskell 98中，而关于applicative functors的论文是在2007年推出的.Hackage中的软件包自2005年开始存在。

Wikipedia：

  

由于历史意外，应用仿函数并未实现为Monad的超类，而是作为单独的类型实现。事实证明，在实践中，对这种分离的要求非常少，因此在2014年，有人建议将Applicative追溯为Monad的超类。

所以liftM{N}仍然有效。