Haskell 自由和自由的箭

如何从

Free

和

MonadFree

创建

箭头

class (Functor f, Monad m) => MonadFree f m where ...

data Free f a = Impure (f (Free f a)) | Pure a

MonadFree包含两个参数

m

和

f

，但是

Kleisli

没有空间插入

f

，因此我们不能对

MonadFree

使用

Kleisli

箭头

据我所知，需要创建一个类、一个新类型和一个实例，如下所示：

class Arrow a => ArrowFunctor f a | a -> f where
    afmap :: a b (f c)

newtype FKleisli f m a b = FKleisli { runFKleisli :: a -> f (m b) }

instance (Functor f, Monad m, MonadFree f m) => 
         ArrowFunctor (FKleisli f m a) where ...

---

但实现似乎并不繁琐

如果

m'

是

Monad

的一个实例，那么

Kleisli m'

是

Arrow

的一个实例（以及一系列其他相关的类型类，如

Arrow>
）

在您的例子中，您希望使用
FreeT f m
作为底层monad（对于某些
Functor f
和
monad m
），因此您只需将
m'
设置为
FreeT f m
就可以得到您想要的：
Kleisli（FreeT f m）
您试过
Kleisli（FreeT f m）吗
？@SjoerdVisscher您愿意将此作为答案吗？