假设我有一个monad M，一个函数*
foo :: forall t. Frameworks t => Int -> M (Behavior t State)
和谓词
pred :: State -> Bool
我想得到一个值*（无论是否需要monad）
bar :: forall t. Frameworks t => Behavior t State
这样bar正好是foo n，直到信号传达的状态满足pred，此时bar切换到foo (n+1) ，这重复。 n以任意Int开头，比如1。
我学习FRP很有乐趣，但这个特殊问题给我带来了麻烦。
* 同时考虑将Behavior t替换为Event t 的案例