在某个库中是否有一个MonadReader版本不具有m -> r的功能依赖性？
如果我有一个需要读取器上下文A、B和C的函数，并且我想调用一个需要读取器上下文A和C的函数，那么似乎我已经将所有的上下文捆绑到一个像(A, B, C)这样的结构中，将它们拆分并在(A, C)中重新组合以传递到另一个函数中。
这似乎违背了约束的一般构成方式。
如果我有一个函数：

f :: (C1 a, C2 a) => a -> a
g :: (C2 a, C3 a) => a -> a

字符串
然后，

h :: (C1 a, C2 a, C3 a) => a -> a
h = g . f

型
完全没问题。
但如果我尝试：

f :: (MonadReader C1 m, MonadReader C2 m) => m a -> m a
g :: (MonadReader C2 m, MonadReader C3 m) => m a -> m a

型
然后，

h :: (MonadReader C1 m, MonadReader C2 m, MonadReader C3 m) => m a -> m a
h = g . f

型
这将是一个伪函数，因为函数依赖性很麻烦。
我知道如果没有函数依赖，ask可能需要类型注解，但在我的情况下，这是一个合理的妥协，特别是当在其他地方简单地使用ask的输出来确定它的类型时。
有没有一个版本的MonadReader没有这个功能依赖？或者我需要自己卷？或者有没有其他方法，而不仅仅是手动分离/组合元组（在这种情况下，我觉得我还不如直接将上下文作为第一个参数显式传递）。