为什么默认情况下不使用Control.Monad.Instances实现( - >)

首先，我们需要了解Control.Monad.Instances模块和( - >)函数。Control.Monad.Instances是Haskell中的一个模块，它提供了一些常见的Monad实例，例如Maybe、Either、List等。而( - >)是Haskell中的函数类型构造器，表示一个函数接受一个参数并返回另一个值。

默认情况下不使用Control.Monad.Instances实现( - >)的原因是，这两者之间没有直接的关联。Control.Monad.Instances模块提供了Monad类型类的实例，而( - >)是一个函数类型构造器，它并不涉及Monad类型类。因此，在Haskell中，Control.Monad.Instances模块和( - >)函数是两个独立的概念，它们之间没有直接的联系。

如果你想要在Haskell中使用Control.Monad.Instances模块来实现函数类型构造器( - >)，你可以尝试使用Reader或State等Monad类型，但这并不是Control.Monad.Instances模块的主要目的。Control.Monad.Instances模块的主要目的是提供常见的Monad实例，以便在编写Haskell代码时更方便地使用Monad类型类。