我正在开发一个库，展示潜在的大量消费者，生产者和效果（来自管道）。他们使用ReaderT r ......作为内部monad。
每个组件都会施加一些类约束（ServerSettings r，FileSettings r等）。这比使用具体类型更好，因为它在将组件组合成效果时会传播。
但是，库的用户需要以某种方式创建具体类型，实例化组件为该类型强加的所有必需类。这很乏味，可能导致2 ^（类数）类型。
我想要的是一些类型函数，对于一组类，每个类都具有实例化该类的具体类型，创建一个类型函数，创建这些类型的组合并实例化所有这些类。