Monad是否有一个标准名称和库实现将计算隐藏在构造函数之后？

问题描述

我想知道此monad在Haskell生态系统中是否具有标准名称

data Delay a = Wait (Delay a) | Done a deriving (Show,Eq,Functor)

instance Monad Delay where
  return a = Done a

  (Done a) >>= f = f a
  (Wait da) >>= f = Wait (da >>= f)

这很有用，这样可以“暂停”可能不终止的计算。

最终目标是将其与LogicT组合在一起，以便我可以搜索可能不终止的函数。我本来是滚动自己的实现的，但记账方式却一发不可收拾，尤其是因为我还有其他单调的效果。

解决方法

Delay似乎与Iter库中Control.Monad.Trans.Iter中的free同构。

newtype IterT m a = IterT { runIterT :: m (Either a (IterT m a)) }

type Iter = IterT Identity

instance Monad m => Monad (IterT m) where
  return = pure
  IterT m >>= k = IterT $ m >>= either (runIterT . k) (return . Right . (>>= k))
  fail _ = never

具体来说，Done a对应于IterT Identity (Left a)，Wait (Delay a)对应于IterT Identity (Right (IterT Identity a))。